HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Checking Safe Trajectories of Aircraft Using Hybrid Automata
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Information and Computation
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Adaptive cruise control: hybrid, distributed, and now formally verified
FM'11 Proceedings of the 17th international conference on Formal methods
Distributed theorem proving for distributed hybrid systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |