Majumdar, Rupak.
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / [electronic resource] : edited by Rupak Majumdar, Paulo Tabuada. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5469 0302-9743 ; . - Lecture Notes in Computer Science, 5469 .
9783642006029
10.1007/978-3-642-00602-9 doi
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.
TK7874.6
004.6
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / [electronic resource] : edited by Rupak Majumdar, Paulo Tabuada. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5469 0302-9743 ; . - Lecture Notes in Computer Science, 5469 .
9783642006029
10.1007/978-3-642-00602-9 doi
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.
TK7874.6
004.6