Direkt zum Inhalt | Direkt zur Navigation

Martin Riedl

Dipl.-Inf. (univ.) Martin Riedl

Martin Riedl

Wissenschaftliche Mitarbeiter an der Universität der Bundeswehr München
am Institut für Technische Informatik.

Kontakt:

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

Adresse Universität der Bundeswehr München
               Institut für Technische Informatik
               Fakultät für Informatik
               Werner-Heisenberg-Weg 39
               D-85579 Neubiberg, Germany
Room     41/500 1510
               
               Größere Karte anzeigen

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


Veröffentlichungen/Ausarbeitungen
Curriculum Vitae


Studentische Arbeiten


Aktuelle Projekte

  • Modellbasierte Analyse der Verlässlichkeit komplexer fehlertoleranter Systeme
  • RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS)

Ehem. Projekte

  • Validation of Stochastic Systems (VOSS II)