Gå direkte til innholdet
Formal Methods for Industrial Critical Systems
Spar

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.
Undertittel
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Opplag
1st ed. 2020
ISBN
9783030582975
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
29.8.2020
Antall sider
289