Tallenna
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
- Alaotsikko
- 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
- Toimittaja
- Maurice H. ter Beek, Dejan Nickovic
- Painos
- 1st ed. 2020
- ISBN
- 9783030582975
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.8.2020
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 289
