Book Details

Hybrid Systems: Computation and Control

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