Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings - Bemporad, Alberto; Bicchi, Antonio; Buttazzo, Giorgio; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: 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