Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
-
- $39.99
-
- $39.99
Publisher Description
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
Computers & Internet
RELEASED
2020
August 28
LANGUAGE
EN
English
LENGTH
311
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
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
Journeys Between Formal Methods and the Railway Industry
2026
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