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
科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen
科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审