Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Published on 21. August 2024
Book
Paperback/Softback
XII, 260 pages
978-3-031-68149-3 (ISBN)
Description
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.
More details
Series
Edition
2024 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
70 farbige Abbildungen, 23 s/w Abbildungen
XII, 260 p. 93 illus., 70 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 15 mm
Weight
417 gr
ISBN-13
978-3-031-68149-3 (9783031681493)
DOI
10.1007/978-3-031-68150-9
Schweitzer Classification
Other editions
Additional editions
Anne E. Haxthausen | Wendelin Serwe
Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
E-Book
08/2024
Springer
€69.54
Available for download