Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
-
- 42,99 €
-
- 42,99 €
Descrizione dell’editore
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.
GENERE
Computer e internet
PUBBLICATO
2020
28 agosto
LINGUA
EN
Inglese
PAGINE
311
EDITORE
Springer International Publishing
DATI DEL FORNITORE
Springer Science & Business Media LLC
DIMENSIONE
22,3
MB
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