Lijng Wan

According to our database, Lijng Wan authored at least 1 paper in 2014.

Collaborative distances:

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

2014

Formal Verification of Lunar Rover Control Software Using UPPAAL.

Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen

Proceedings of the FM 2014: Formal Methods, 2014