Hybrid Systems: Computation and Control
- New York Springer US 2006
- Lecture Notes in Computer Science .
978-3-540-33171-1
Computer Science Special Purpose and Application-Based Systems; Processor Architectures; Logics and Meanings of Programs; Software Engineering; Computation by Abstract Devices; Simulation and Modeling