Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / [electronic resource] :
edited by João P. Hespanha, Ashish Tiwari.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 3927 0302-9743 ; .
9783540331711
Computer science Software engineering Logic design Computer simulation Computer Science Special Purpose and Application-Based Systems Processor Architectures Logics and Meanings of Programs Software Engineering Computation by Abstract Devices Simulation and Modeling