Armin Biere, Jens Knoop, Laura Kovács, Jakob Zwirchmayr,
"The Auspicious Couple: Symbolic Execution and WCET Analysis"
: Proc. 13th Intl. Work. on Worst-Case Execution Time Analysis, Serie OASICS Series, Vol. 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Seite(n) 53-63, 2013
Original Titel:
The Auspicious Couple: Symbolic Execution and WCET Analysis
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 13th Intl. Work. on Worst-Case Execution Time Analysis