Loading…
Formal methods for industrial critical systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings /
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20-22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The pap...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Conference Proceeding eBook |
Language: | English |
Published: |
Cham :
Springer,
2023.
|
Series: | Lecture notes in computer science ;
14290. |
Physical Description: |
1 online resource (x, 260 pages) : illustrations (some color). |
Subjects: | |
Online Access: | SpringerLink - Click here for access |
Copy 1 | CMU Electronic Access | Available |
---|