Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Maurice H. ter Beek, Dejan Ničković |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| ISBN-13 | 9783030582975 |
| Número de Cutter | B414f |