Formal methods for industrial critical systems: 31st international conference, fmics 2026, liverpool, uk, september 3–4, 2026, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032368485
Date de publication :
20 sept. 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026. The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions.