Formal methods for industrial critical systems: 26th international conference, fmics 2021, paris, france, august 24–26, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030852474
Date de publication :
10 août 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.