
Formal Methods for Industrial Critical Systems
- Undertittel
- 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
- Redaktør
- Maurice H. ter Beek, Dejan Nickovic
- Opplag
- 1st ed. 2020
- ISBN
- 9783030582975
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 29.8.2020
- Antall sider
- 289
