电脑体验，效果更佳

刘道斌图谱-计算机领域：

相关人员

陆维明 白硕 林闯 郭莉

研究领域

安全协议 访问控制 Petri网 工作流 死锁 随机Petri网 可达性分析 Marie方法

所属机构

中国科学院数学研究所 中国科学院计算技术研究所 清华大学计算机科学与技术系 中国科学院计算技术研究所软件研究室 中国科学院计算技术研究所信息智能与信息安...

标签云