Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bemporad, Alberto (Editor), Bicchi, Antonio (Editor), Buttazzo, Giorgio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4416
• Subjects: 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 book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully...