Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr.-Ing. Markus Siegle

Address Universität der Bundeswehr München
Fakultät für Informatik
Institut für Technische Informatik
Werner-Heisenberg Weg 39
85577 Neubiberg

Projects

As Applicant
- Completed projects
  - Validation of Stochastic Systems 2 (Research Grants)
  - Effiziente Verifikation von Performability-Eigenschaften verteilter Systeme (Research Grants)
  - Effiziente Analyseverfahren für die Performability-Bewertung verteilter Systeme (Research Grants)
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Research Grants)
  - Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme (Research Grants)
As Participating Person
- Completed projects
  - Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy