Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Egerstedt, Magnus (Επιμελητής έκδοσης), Mishra, Bud (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 4981
• Θέματα: Computer science.; Microprocessors.; Special purpose computers.; Software engineering.; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Special Purpose and Application-Based Systems.; Processor Architectures.; Logics and Meanings of Programs.; Software Engineering.; Computation by Abstract Devices.

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand con...