Detailseite
Institution
Carl von Ossietzky Universität Oldenburg
Department für Informatik
Abteilung Entwicklung korrekter Systeme
- Sachbeihilfen
-
abgeschlossene Projekte
-
-
Metamodellierung und Graphgrammatiken: Generierung von Entwicklungsumgebungen für Modellierungssprachen(Antragstellerinnen / Antragsteller Olderog, Ernst-Rüdiger ; Taentzer, Gabriele )
-
-
abgeschlossene Projekte
- Graduiertenkollegs
- Transregios
-
abgeschlossene Projekte
-
Automatisierte Verifikation kooperierender Verkehrssysteme(Teilprojektleiterinnen / Teilprojektleiter Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
-
Über Realzeitautomaten hinaus(Teilprojektleiterinnen / Teilprojektleiter Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )
-
-
abgeschlossene Projekte
