Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification; Lecture Notes in Computer Science ,
3
Quantitative Risk Assessment of Safety-Critical Systems via..:
, In:
?
Forms/Format 2010 / Eckehard Schnieder ... Eds.
4
Using guided simulation to assess driver assistance systems:
, In:Copies:
Zentrale:E02 a ing 181 e/255
?
7
Wilhelm Tell
zum 200. Jubiläum der Weimarer Uraufführung ; Übertragun...
Copies:
Zentrale/Mediathek: pg 1653