Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professorin Dr. Mila Majster-Cederbaum

Adresse Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Programmierung und Softwaretechnik
Oettingenstraße 67
80538 München

Projekte

Als Antragstellerin
- abgeschlossene Projekte
  - Unterspezifikation in Prozessalgebren (Sachbeihilfen)
  - Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme (Sachbeihilfen)
  - Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung (Sachbeihilfen)
  - Entwurf und (quantitative) Analyse Komponenten-basierter Systeme (Sachbeihilfen)
  - Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz