Chargement en cours…
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 sub...
| Cote: | Libro Electrónico |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Édition: | 1st ed. 2015. |
| Collection: | Communications in Computer and Information Science,
476 |
| Sujets: | |
| Accès en ligne: | Texto Completo |