Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Edición de la obra Formal Techniques for Safety-Critical Systems
| Autor | Cyrille Artho, Peter Csaba Ölveczky |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 297 |
| ISBN-13 | 9783319054162 |
| Número de Cutter | A787f |