Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Alberto Lluch Lafuente, Anastasia Mavridou |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| Páginas | 235 |
| ISBN-13 | 9783030852474 |
| Número de Cutter | L171f |