Critical Systems : Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Edición de la obra Critical Systems : Formal Methods and Automated Verification
| Autor | Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| Páginas | 247 |
| ISBN-13 | 9783319459424 |
| Número de Cutter | B414c |