Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Kim Guldstrand Larsen, Tim Willemse |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 25, 2019 |
| Páginas | 176 |
| Formato | paperback |
| ISBN-13 | 9783030270070 |
| ISBN-10 | 3030270076 |
| Número de Cutter | L334f |