Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings - Morari, Manfred; Thiele, Lothar; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: 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