Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professorin Dr. Mila Majster-Cederbaum

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

Projects

As Applicant
- Completed projects
  - Unterspezifikation in Prozessalgebren (Research Grants)
  - Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme (Research Grants)
  - Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung (Research Grants)
  - Entwurf und (quantitative) Analyse Komponenten-basierter Systeme (Research Grants)
  - Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy