Qianqing Lan

According to our database, Qianqing Lan authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Model-based Verification and Validation of an Autonomous Vehicle System.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

CoRR, 2018

2017

Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Verification and Validation of a Cyber-Physical System in the Automotive Domain.

Eun-Young Kang, Dongrui Mu, Li Huang, Qianqing Lan

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017