Formal methods for industrial critical systems: 24th international conference, fmics 2019, amsterdam, the netherlands, august 30–31, 2019, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030270070
Date de publication :
25 juil. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.