13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
Event name
13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
Start date
09-07-2013
Location
Paris
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob ; Maiza, Claire | The Auspicious Couple: Symbolic Execution and WCET Analysis | Konferenzbeitrag Inproceedings  | 2013 |