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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Alur, Rajeev (Επιμελητής έκδοσης), Pappas, George J. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2993
• Θέματα: 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-...