Formal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

• Main Authors: International Conference on Formal Methods for Industrial Critical Systems, Lafuente, Alberto Lluch, Mavridou, Anastasia
• Format: eBook Book
• Language: English
• Published: Cham Springer Nature 2021; Springer; Springer International Publishing AG; Springer International Publishing
• Edition: 1
• Series: Lecture Notes in Computer Science
• Subjects: Computer programming, programs, data; Computer programs > Verification > Congresses; Formal methods (Computer science) > Congresses; Software engineering > Congresses

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The...