Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Published on 28. August 2025
Book
Paperback/Softback
X, 297 pages
978-3-032-00941-8 (ISBN)
Description
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27-28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
30 s/w Abbildungen, 78 farbige Abbildungen
X, 297 p. 108 illus., 78 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 17 mm
Weight
470 gr
ISBN-13
978-3-032-00941-8 (9783032009418)
DOI
10.1007/978-3-032-00942-5
Schweitzer Classification
Other editions
Additional editions
Anne Remke | Bernhard Steffen
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
E-Book
08/2025
Springer
€60.98
Available for download