Gå direkt till innehållet
Formal Methods for Industrial Critical Systems
Spara

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.
Undertitel
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Upplaga
1st ed. 2020
ISBN
9783030582975
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2020-08-29
Sidor
289