David Renshaw is an author at Carnegie Mellon University specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringComputer ScienceSystems EngineeringDesignSurgeryMedicineRoboticsAutomationKinematicsMechatronics
Publications per year
2013–2013
2
2
Formal verification of distributed aircraft controllers
Sarah M. Loos, David Renshaw, André Platzer · 2013 · 34 citations
Rows per page
1–2 of 2