Rigorosum Sebastian GABMEYER

Posted on 29.07.2015

Der Dekan und der Studiendekan der Fakultät für Informatik laden zur öffentlichen Präsentation und Verteidigung der Dissertation ein und ersuchen um zahlreiches Erscheinen.

Thema: New Model Checking Techniques for Software Systems Modeled with Graphs and Graph Transformations (Abstract, PDF)
Ort: Sitzungszimmer des Dekanats der Fakultät für Informatik, 1040 Wien, Gusshausstraße 30/Erzherzog-Johann-Platz 1, 4. Stock