Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / [electronic resource] :
edited by Manfred Morari, Lothar Thiele.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3414 0302-9743 ; .
9783540319542
Computer science Software engineering Logic design Computer simulation Computer Science Special Purpose and Application-Based Systems Processor Architectures Software Engineering Computation by Abstract Devices Logics and Meanings of Programs Simulation and Modeling