电脑体验，效果更佳

模型检验图谱-机械领域：

研究人员

边计年 朱明 古天龙 邵明 郭建 吴为民 韩俊刚 李光辉

相关术语

特性 协同验证 不完全Kripke结构 装配序列规划 模态转移系统 数据通路 模拟 可满足性

标签云