Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Alur, Rajeev (Editor), Pappas, George J. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2993
• Subjects: Computer science.; Special purpose computers.; Computer system failures.; Software engineering.; Computers.; Computer logic.; Computer simulation.; Computer Science.; Theory of Computation.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.; Software Engineering.; Logics and Meanings of Programs.; Simulation and Modeling.

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen-...