电脑体验，效果更佳

形式方法图谱-计算机领域：

研究人员

骆盈盈 李刚 李必信 segnjueducn 冯登国 王志坚 魏峻 何积丰

相关术语

组件关系 形式规约 移动性 子类型 组件 面向对象 位置 SMV

标签云