LIAMALOGO

CONVEX:Compositional Verification of Cyber-Physical Systems (2018 Associate Team’s Call)

Updated: 2018/6/12   
Inria:
 
International Partners:
 
- Naijun Zhan, State Key Laboratory of Computer Science of the Chinese Academy of Sciences
- Kai Hu, Beijing University of Aeronautics and Astronautics
- Zhibin Yang, Nanjing University of Aeronautics and Astronautics
- Yushi Zhang, Computer Science Department of Nankai University
回首页 回前页 回到页首