Speaker Affiliation | Department für Informatik, Universität Oldenburg |
Start | 18.06.2007, 17:00 Uhr |
Location | TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1. OG, Hörsaal M 160 |
Invited by | 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. |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0