电脑体验，效果更佳

形式验证图谱-航空航天领域：

研究人员

杨孟飞 王青

相关术语

断言 模型检验 验证

标签云