Redner Info | Department für Informatik, Universität Oldenburg |
Beginn | 18.06.2007, 17:00 Uhr |
Ort | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 |
Eingeladen durch | Prof. Dr. Ursula Goltz |
Wir berichten über Forschungen im Projekt "Beyond Timed Automata" des Transregio-SFB "Automatic Verification and Analysis of Complex Systems" (AVACS), an dem die Universitäten Oldenburg, Freiburg und Saarbrücken beteiligt sind. |