Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw

[LeeAndro]

English | 2022 | ISBN: 3031150074 | 255 Pages | PDF (True) | 13 MB

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.



DOWNLOAD

https://1dl.net/r1ylamuk5bm8/W3pgzLHa__9783031150081.rar.html