Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Gwen Salaün |
|---|---|
| Editorial | Springer-Verlag GmbH Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642244308, 9783642244315 |
| LCCN | 2011936880 |
| Serie | Lecture Notes in Computer Science -- 6959 |
| Número de Cutter | S161f |