Book Details

Hybrid Systems: Computation and Control

Publication year: 2007

ISBN: 978-3-540-71493-4

Internet Resource: Please Login to download book


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.


Subject: Computer Science, D programming language, complexity, programming, programming language, real-time, robot, robotics, tools, verification