Formal methods for industrial critical systems: 25th international conference, fmics 2020, vienna, austria, september 2–3, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030582975
Date de publication :
29 août 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.