Loading…
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...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
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: | |
Online Access: | SpringerLink - Click here for access |
Copy 1 | CMU Electronic Access | Available |
---|