Detailseite
Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Lehrstuhl Softwaremodellierung und Verifikation
- Sachbeihilfen
- laufende Projekte
- Erreichbarkeitsanalyse für stochastische hybride Systeme(Antragstellerinnen Remke, Anne ; Ábrahám, Erika )
-
-
- abgeschlossene Projekte
-
- Ein Werkzeugkasten für die Erreichbarkeitsanalyse hybrider Systeme mittels geometrischer Approximationen(Antragstellerinnen / Antragsteller Kowalewski, Stefan ; Ábrahám, Erika )
- Entwicklung von neuartigen Online-Verfahren zur optimalen Steuerung hybrider Antriebssysteme(Antragstellerinnen / Antragsteller Abel, Dirk ; Ábrahám, Erika )
- RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)(Antragstellerinnen / Antragsteller Baier, Christel ; Hermanns, Holger ; Siegle, Markus ; Ábrahám, Erika )
-
-
-
- laufende Projekte
- Graduiertenkollegs
- Exzellenzcluster