Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Anne Remke und Bernhard Steffen
    • 48,99 €
    • 48,99 €

Beschreibung des Verlags

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

GENRE
Computer und Internet
ERSCHIENEN
2025
27. August
SPRACHE
EN
Englisch
UMFANG
307
Seiten
VERLAG
Springer Nature Switzerland
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
38
 MB

Mehr Bücher von Anne Remke & Bernhard Steffen

Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2025
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2020
Distributed Applications and Interoperable Systems Distributed Applications and Interoperable Systems
Distributed Applications and Interoperable Systems
2020
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2018
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
2016