An edition of Formal Methods Foundations and Applications Lecture Notes in Computer Science (2010)
Formal Methods Foundations and Applications Lecture Notes in Computer Science
By Jim Woodcock
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2010
Publisher
Springer
Language
-
Pages
361
Description:
subjects: Logic design, Information Systems, Computer science, Software engineering, Formal methods (Computer science), Congresses, Fehlertoleranz, Kongress, Formale Methode, Model Checking, Sicherheitskritisches System, Interrupt <Informatik>, Software, Testen, Programmverifikation, Verifikation, Interrupt (Informatik), System design