Publication year: 2007
: 978-3-540-71493-4
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.
: Computer Science, D programming language, complexity, programming, programming language, real-time, robot, robotics, tools, verification