Ayang Tuo

According to our database, Ayang Tuo authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems.

Haitao Zhang, Ayang Tuo, Guoqiang Li

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019