An edition of Critical Systems : Formal Methods and Automated Verification
(2016)
Critical Systems : Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings
by Maurice H. Ter Beek, Stefania Gnesi, and Alexander Knapp
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer science| Edition | Availability |
|---|---|
1
Critical Systems : Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings
2016, Springer International Publishing AG
in English
3319459422 9783319459424
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| October 5, 2021 | Created by ImportBot | import new book |