3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Event name
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Start date
13-10-2008
End date
15-10-2008
Location
Porto Sani, Greece
Country
Event format Veranstaltungsformat
On Site
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 |