Lijng Wan

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Control Software

Top Venues

Publications

Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen
Formal Verification of Lunar Rover Control Software Using UPPAAL. FM (2014)