Detailseite
Institution
Johannes Gutenberg-Universität Mainz
Fachbereich Physik, Mathematik, Informatik
Institut für Informatik
Arbeitsgruppe Theoretische Informatik
- Schwerpunktprogramme
- Sachbeihilfen
- Transregios
-
abgeschlossene Projekte
-
Automatisierte Verifikation kooperierender Verkehrssysteme(Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
-
Zeitanalyse, Scheduling und Verteilung von Echtzeittasks(Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Hack, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard )
-
-
abgeschlossene Projekte
