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