Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Anne E. Haxthausen, Wendelin Serwe (Herausgeber)

Buch | Softcover

XII, 260 Seiten

2024 | 2024
Springer International Publishing (Verlag)
978-3-031-68149-3 (ISBN)

Artikel merken

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.

Erscheinungsdatum	22.08.2024
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XII, 260 p. 93 illus., 70 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
Themenwelt	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	Autonomous Systems • Cyber-Physical Systems • Digital Twins • fault trees • Formal Languages • formal methods • formal specification • Formal Verification • Legacy code analysis • Model Checking • Model Learning • Neural networks • Operational Semantics • Predictive Maintenance • runtime verification • Safety-Critical Systems • Software • Testing
ISBN-10	3-031-68149-5 / 3031681495
ISBN-13	978-3-031-68149-3 / 9783031681493
Zustand	Neuware