Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Price for Eshop: 1689 Kč (€ 67.6)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Springer International Publishing
2022
EPub, PDF
How do I buy e-book?
978-3-031-15008-1
3-031-15008-2
Annotation
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.