Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
 
Publisher Herausgeber
Lecture Notes in Computer Science. Springer Verlag.
 
Place of publishing Erscheinungsort
7609
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Razavi, Niloofar ; Farzan, Azadeh ; Holzer, Andreas Bounded-Interference Sequentialization for Testing Concurrent ProgramsKonferenzbeitrag Inproceedings 2012