Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Herausgegeben: Haxthausen, Anne E.; Serwe, Wendelin
PAYBACK Punkte
22 °P sammeln!
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.
The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.
The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.
Andere Kunden interessierten sich für
