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
