Morari, Manfred.
Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / [electronic resource] : edited by Manfred Morari, Lothar Thiele. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3414 0302-9743 ; . - Lecture Notes in Computer Science, 3414 .
9783540319542
10.1007/b106766 doi
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.
TK7874.6
004.6
Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / [electronic resource] : edited by Manfred Morari, Lothar Thiele. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3414 0302-9743 ; . - Lecture Notes in Computer Science, 3414 .
9783540319542
10.1007/b106766 doi
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.
TK7874.6
004.6