Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Programmierung und Softwaretechnik
Address
Oettingenstraße 67
80538 München
Deutschland
GERiT
This institution in GERiT
80538 München
Projects
Research Grants
Completed projects
Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
(Applicant
Majster-Cederbaum, Mila
)
Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme
(Applicant
Majster-Cederbaum, Mila
)
Entwurf und (quantitative) Analyse Komponenten-basierter Systeme
(Applicant
Majster-Cederbaum, Mila
)
Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking
(Applicant
Majster-Cederbaum, Mila
)
Unterspezifikation in Prozessalgebren
(Applicant
Majster-Cederbaum, Mila
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
