[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
J. Knoop:
"Timing Properties: Beyond Verifying Functional Program Properties";
Vortrag: 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), York, UK (eingeladen); 22.03.2009.

Zugeordnete Projekte:
Projektleitung Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.