Formal Methods for Industrial Critical Systems
14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | María Alpuente, Byron Cook, Christophe Joubert |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642045707 |
| Número de Cutter | A457f |