HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Information and Computation
Adaptive cruise control: hybrid, distributed, and now formally verified
FM'11 Proceedings of the 17th international conference on Formal methods
Hi-index | 0.00 |