Paulo Tabuada

Identifiers

Open LibraryOL7202570A

Top Subjects

Mathematics (1)
Computer science (1)
System theory (1)

Books by Paulo Tabuada

Total count: 2

Hybrid Systems : Computation and Control12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings

Springer London, Limited2009-01-01
Verification and Control of Hybrid SystemsA Symbolic Approach

Springer-Verlag US2009-01-01