Login / Signup
Stefan Mohr
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Pulmonary Nodules
Functional Verification
Process Planning
Computer Assisted
Top Venues
Auton. Robots
</>
Publications
</>
Holger Täubig
,
Udo Frese
,
Christoph Hertzberg
,
Christoph Lüth
,
Stefan Mohr
,
Elena Vorobev
,
Dennis Walter
Guaranteeing functional safety: design for provability and computer-aided verification.
Auton. Robots
32 (3) (2012)