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

Aktuelle Projekte

  • Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme

Ehem. Projekte

  • RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)
  • Validation of Stochastic Systems (VOSS II)

Kontakt

Telefon: +49 89 6004 2417
Fax: +49 89 6004 2268
Email: martin.riedl(insertathere)unibw.de

 

Universität der Bundeswehr München
Institut für Technische Informatik
Werner-Heisenberg-Weg 39 D-85579 Neubiberg, Germany
Raum: 41/500 1510

 

Kartenansicht


Public Key

Fingerprint = 1A8D A1CC 3700 584F C05F F073 4DFB C102 5193 2219