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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Di Benedetto, Maria D. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sangiovanni-Vincentelli, Alberto L. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2034
• Θέματα: 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...