电脑体验，效果更佳

B方法图谱-计算机领域：

研究人员

吴帅 褚伟 张帆 高丽萍 张德运 董皓 姜梦稚 杨庆红

相关术语

高可信软件工程 B函数 顺序图 嵌入式软件 UML Web Service 类图 安全策略

上位概念

形式化方法

标签云