Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Wiedijk, Freek (Editor, http://id.loc.gov/vocabulary/relators/edt), Maler, Oded (Editor, http://id.loc.gov/vocabulary/relators/edt), Pnueli, Amir (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Edition: 1st ed. 2003.
• Series: Lecture Notes in Computer Science, 2623
• Subjects: Computers.; Special purpose computers.; Microprocessors.; Software engineering.; Computer logic.; Theory of Computation.; Special Purpose and Application-Based Systems.; Processor Architectures.; Software Engineering.; Computation by Abstract Devices.; Logics and Meanings of Programs.

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which inv...