Martin Riedl

Dipl.-Inf. (univ.) 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)