Paulo Tabuada
2 published titles
Networked embedded sensing and control : workshop NESC'05: University of Notre Dame, USA, October 2005 proceedings
(Contributor)
1 edition
- ISBN: 9783540327943
- Springer
- 2006
- Details
Verification and control of hybrid systems : a symbolic approach
1 edition
- ISBN: 9781441902245
- Springer
- 2009
- Details
