电脑体验，效果更佳

移动进程图谱-计算机领域：

研究人员

冷家锋 张晓春 傅育熙 李津 高春鸣 林敏 陈中育 李勇

相关术语

离散时间Ambient演算 形式化 活动交互 模态逻辑 业务流程执行语言 进程代数 互模拟 模型验证

标签云