Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
A. Prantl, J. Knoop, R. Kirner, A. Kadlec, M Schordan:
"From Trusted Annotations to Verified Knowledge";
Vortrag: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
Maria Taferl;
12.10.2009
- 14.10.2009; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009)",
J. Knoop, A. Prantl (Hrg.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
Bericht 2009-X-1
(2009),
S. 155
- 166.
Zugeordnete Projekte:
Projektleitung Raimund Kirner:
Compiler-Unterstützung für Zeitanalyse
Projektleitung Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.