电脑体验，效果更佳

高可信软件工程图谱-计算机领域：

研究人员

董皓 肖健宇 张德运 陈海诠

相关术语

B方法 UML状态机 嵌入式软件 形式化方法

标签云