Auflistung nach Autor "Güdemann, Matthias"
Anzeige der Dokumente 1-4 von 4
-
Quantitative Model-Based Safety Analysis: A Case Study
Güdemann, Matthias; Ortmeier, Frank
5-16 -
Quantitative model-based safety analysis: a case study
Güdemann, Matthias; Ortmeier, Frank
37-48 -
SMT-Based Verification of Concurrent Critical System
Güdemann, Matthias
67-82 -
Towards safe and secure organic computing applications
Güdemann, Matthias; Nafz, Florian; Reif, Wolfgang; Seebach, Hella
153-160