Egerstedt, Magnus.
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / [electronic resource] : edited by Magnus Egerstedt, Bud Mishra. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4981 0302-9743 ; . - Lecture Notes in Computer Science, 4981 .
9783540789291
10.1007/978-3-540-78929-1 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 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / [electronic resource] : edited by Magnus Egerstedt, Bud Mishra. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4981 0302-9743 ; . - Lecture Notes in Computer Science, 4981 .
9783540789291
10.1007/978-3-540-78929-1 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