12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012
Book title Buchtitel
12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012
Publisher Herausgeber
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Place of publishing Erscheinungsort
Oasics / 23
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Huber, Benedikt ; Prokesch, Daniel ; Puschner, Peter | A Formal Framework for Precise Parametric WCET Formulas | Konferenzbeitrag Inproceedings  | 2012 |