Formal Methods For Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9–11, 2024, Proceedings
Formal Methods for Industrial Critical Systems eBooks & eLearning
Posted by AvaxGenius at Aug. 23, 2024
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings by Anne E. Haxthausen, Wendelin Serwe
English | PDF (True) | 2024 | 267 Pages | ISBN : 3031681495 | 17.2 MB
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.