Paulo Tabuada

Titel ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings 978-3-642-00601-2
(3-642-00601-9)
2010Rupak Majumdar
Networked Embedded Sensing and Control: Workshop NESC'05: University of Notre Dame, USA, October 2005 Proceedings 978-3-540-32794-3
(3-540-32794-0)
2006Panos J. Antsaklis
Verification and Control of Hybrid Systems: A Symbolic Approach
978-1-4419-0223-8
(1-4419-0223-6)
2009

P T · Paola Tabet · Paul Thibaud · Paul Tippet · Paul Tippett · Phil Tippett · Rupak Majumdar Paulo Tabuada

Paulo Tavares