An edition of Formal Methods for Industrial Critical Systems
(2009)
Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
by Darren Cofer
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic design, Computer science, Software engineering, Formal methods (Computer science), Congresses, Computer programs, Verification, Reliability, Computer software, Programmverifikation, Kongress, Softwarespezifikation, Formale Methode, Zuverlässigkeit, Sicherheitskritisches System, Eingebettetes System, Softwareentwicklung, Fehlertoleranz, Systementwurf, Model Checking, Verifikation, System design| Edition | Availability |
|---|---|
1
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
2009, Springer Berlin Heidelberg, Springer
electronic resource :
in English
3642032397 9783642032394
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| October 4, 2021 | Edited by ImportBot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| July 29, 2014 | Created by ImportBot | import new book |