ISoLA 2008: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008

Book title Buchtitel
ISoLA 2008: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008
 
Publisher Herausgeber
Springer
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gustafsson, Jan ; Lisper, Björn ; Schordan, Markus ; Ferdinand, Christian ; Gliwa, Peter ; Jersak, Marek ; Bernat, Guillem ALL-TIMES - A European Project on Integrating Timing TechnologyKonferenzbeitrag Inproceedings 2008