Talks and Poster Presentations (with Proceedings-Entry):
A. Prantl, J. Knoop, R. Kirner, M Schordan, A. Kadlec:
"From Trusted Annotations to Verified Knowledge";
Talk: 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009),
Dublin, Ireland;
2009-06-30; in: "Preliminary Proceedings of the 9th International Workshop on Worst-Case Execution Time Analysis (WCET 2009)",
N. Holsti (ed.);
(2009),
35
- 45.
Created from the Publication Database of the Vienna University of Technology.