Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
-
- USD 39.99
-
- USD 39.99
Descripción editorial
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.
GÉNERO
Informática e Internet
PUBLICADO
2020
28 de agosto
IDIOMA
EN
Inglés
EXTENSIÓN
311
Páginas
EDITORIAL
Springer International Publishing
VENDEDOR
Springer Nature B.V.
TAMAÑO
22.3
MB
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