Stefan Mohr

According to our database, Stefan Mohr authored at least 1 paper in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Guaranteeing functional safety: design for provability and computer-aided verification.

Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter

Auton. Robots, 2012