Formal methods for industrial critical systems 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /

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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems Online, SpringerLink (Online service)
Other Authors: Lluch Lafuente, Alberto (Editor), Mavridou, Anastasia (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Cham : Springer, [2021]
Series:Lecture notes in computer science ; 12863.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource : illustrations.
Subjects:
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Computer programs -- Reliability -- Congresses.
Computer software -- Verification -- Congresses.
Computer software -- Reliability -- Congresses.
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items