Tallenna
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.
- Alaotsikko
- 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
- Toimittaja
- Alberto Lluch Lafuente, Anastasia Mavridou
- Painos
- 1st ed. 2021
- ISBN
- 9783030852474
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 10.8.2021
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 249
