An edition of Formal Methods for Industrial Critical Systems
(2023)
Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
by Alessandro Cimatti and Laura Titolo
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
2023, Springer
in English
3031436806 9783031436802
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
| September 17, 2023 | Created by ImportBot | import new book |