FMICS 2011
Event name
FMICS 2011
Start date
29-08-2011
End date
30-08-2011
Location
Trento
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan | Past Time LTL Runtime Verification for Microcontroller Binary Code | Konferenzbeitrag Inproceedings  | 2011 |