Auflistung nach Autor "Ortmeier, Frank"
Anzeige der Dokumente 1-5 von 5
-
Handlungsadaptive Produktionsassistenz
Lipaczewski, Michael; Ortmeier, Frank
585-595 -
A pragmatic approach for debugging parameter-driven software
Ortmeier, Frank; Struck, Simon; Meinicke, Jens
199-212 -
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 -
Using model-based analysis in certification of critical software-intensive systems
Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael
155-161