Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
Book title Buchtitel
Pre-Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
Editor Herausgeber_in
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 |