![]() | Up a level |
Number of items: 1.
Wang, Jinyong, Huang, Zhiqiu, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Zhu, Yi and Wang, Fei
(2020)
Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety.
JOURNAL OF ADVANCED TRANSPORTATION, 2020.
6047145-.