Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (Lecture Notes in Computer Science, 14952, Band 14952) - Softcover

 
9783031681493: Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (Lecture Notes in Computer Science, 14952, Band 14952)
Softcover
ISBN 10: 3031681495 ISBN 13: 9783031681493
Verlag: Springer, 2024

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2024
Sprache
Englisch
ISBN 10 
3031681495
ISBN 13 
9783031681493
Einband
Taschenbuch
Anzahl der Seiten
272
Herausgeber
Haxthausen Anne E., Serwe Wendelin
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland