David W. Renshaw
According to our database1,
David W. Renshaw
authored at least 3 papers
between 2011 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
0
1
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Certifying the safe design of a virtual fixture control algorithm for a surgical robot.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
2011
Proceedings of the Formal Methods and Software Engineering, 2011