Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / [electronic resource] :
edited by Magnus Egerstedt, Bud Mishra.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4981 0302-9743 ; .
9783540789291
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