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

Detailseite

Person

Druckansicht

Professor Dr.-Ing. Markus Siegle

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Validation of Stochastic Systems 2 (Sachbeihilfen)
  - Effiziente Verifikation von Performability-Eigenschaften verteilter Systeme (Sachbeihilfen)
  - Effiziente Analyseverfahren für die Performability-Bewertung verteilter Systeme (Sachbeihilfen)
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Sachbeihilfen)
  - Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz