Hybrid systems computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings - HSCC 2009 (2009 : San Francisco, Calif.); Majumdar, Rupak; Tabuada, Paulo; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Hybrid computers -- Congresses; Processor Architectures; Simulation and Modeling; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Computer Science; Computation by Abstract Devices; Software Engineering