Direkt zum Inhalt | Direkt zur Navigation

Martin Riedl

Dr.-Ing. Martin Riedl, Dipl.-Inf. Univ.

Ehemaliger Wissenschaftlicher Mitarbeiter
am Institut für Technische Informatik. Nun als Wissenschaftlicher Mitarbeiter an der Professur für Wirtschaftsinformatik.

Publikationen

Ausgewählte Vorträge
Curriculum Vitae
Studentische Arbeiten

Martin Riedl


Forschungsschwerpunkte

  • Modellbasierte Analyse stochastischer Systeme
  • Formal definierte Sprachen und Modelltransformationen

Ehem. Projekte

  • Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme
  • RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
  • Validation of Stochastic Systems (VOSS II)

Kontakt

URL: https://www.unibw.de/wi/team/wissenschaftliche_mitarbeiter/riedl

Email: martin.riedl(insertathere)unibw.de

Universität der Bundeswehr München
Werner-Heisenberg-Weg 39 D-85579 Neubiberg, Germany

Kartenansicht