Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-13, 2024, Proceedings
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Anne E. Haxthausen, Wendelin Serwe |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031681493 |
| Número de Cutter | H411f |