Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Programmierung und Softwaretechnik
Adresse
Oettingenstraße 67
80538 München
Deutschland
GERiT
Diese Institution in GERiT
80538 München
Projekte
Sachbeihilfen
abgeschlossene Projekte
Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
(Antragstellerin
Majster-Cederbaum, Mila
)
Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme
(Antragstellerin
Majster-Cederbaum, Mila
)
Entwurf und (quantitative) Analyse Komponenten-basierter Systeme
(Antragstellerin
Majster-Cederbaum, Mila
)
Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking
(Antragstellerin
Majster-Cederbaum, Mila
)
Unterspezifikation in Prozessalgebren
(Antragstellerin
Majster-Cederbaum, Mila
)
