
Formal Methods for Industrial Critical Systems
- Undertitel
- 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
- Redaktör
- Maurice H. ter Beek, Dejan Nickovic
- Upplaga
- 1st ed. 2020
- ISBN
- 9783030582975
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2020-08-29
- Sidor
- 289