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
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gustafsson, Jan ; Lisper, Björn ; Schordan, Markus ; Ferdinand, Christian ; Gliwa, Peter ; Jersak, Marek ; Bernat, Guillem | ALL-TIMES - A European Project on Integrating Timing Technology | Konferenzbeitrag Inproceedings  | 2008 |