Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Di Benedetto, Maria D. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sangiovanni-Vincentelli, Alberto L. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 2034
• Subjects: Software engineering.; Computers.; Computer hardware.; Computer logic.; Special purpose computers.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Computer Hardware.; Logics and Meanings of Programs.; Software Engineering.; Special Purpose and Application-Based Systems.

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion...