电脑体验，效果更佳

形式化方法图谱-航空航天领域：

研究人员

王飓安 金茂忠 王勇 李未 曹勇刚 刘超 王子才

相关术语

模型 复杂系统仿真概念模型 访问控制 评估 状态转移表 通信 概念模型 重用

标签云