Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)
Edición de la obra Formal Techniques for Safety-Critical Systems
| Autor | Cyrille Artho, Peter Csaba Ölveczky |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Apr 06, 2014 |
| Páginas | 308 |
| Formato | paperback |
| ISBN-13 | 9783319054155 |
| ISBN-10 | 3319054155 |
| Número de Cutter | A787f |