Wanling Du

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Face Verification

Top Venues

Publications

Xinhai Chen, Wei Liu, Chang Rao, Yu Zhang, Wanling Du
Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata. QRS Companion (2023)