电脑体验，效果更佳

钱军图谱-计算机领域：

相关人员

周桓 万里勇 黄涛 王栩 倪彬 冯玉琳

研究领域

公理化 对象演算 Ω-理论 交互 信息安全 对象语义描述 Trace演算 AES算法 特性推理 信息隐藏 踪迹 institution 对象系统 DES算法 可靠性 组合构造模型 结构化对象演算 对象精化 对象标记 SR演算 有效动作 动作 并发

所属机构

中国科学院软件研究所对象技术中心 中国科学院软件研究所计算机科学开放研究实...

标签云