Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
-
- 42,99 €
-
- 42,99 €
Beschreibung des Verlags
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.
The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.
The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.
GENRE
Computer und Internet
ERSCHIENEN
2020
28. August
SPRACHE
EN
Englisch
UMFANG
311
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
22,3
MB
Formal Methods for Industrial Critical Systems
2018
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Formal Methods and Software Engineering
2018
New Trends in Model and Data Engineering
2018
Software Technologies: Applications and Foundations
2018
Software Engineering and Formal Methods
2018
Formal Methods: Foundations and Applications
2025
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025
Coordination Models and Languages
2022
Integrated Formal Methods
2022
From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Methods – The Next 30 Years
2019