Direkt zum Inhalt | Direkt zur Navigation

Martin Riedl

Dipl.-Inf. (Univ.) Martin Riedl

Wissenschaftliche Mitarbeiter
am Institut für Technische Informatik.

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