电脑体验，效果更佳

形式化建模图谱-计算机领域：

研究人员

黄云森 袁禄来 龚巧华 张立臣 李舟军 李梦君 李援 王伟

相关术语

Petri网 进程代数 模糊时间 Web服务 串空间图 验证 实时系统 pi-演算

标签云