电脑体验，效果更佳

刘万伟图谱-计算机领域：

相关人员

周倜 卓琳 谭庆平 王昭飞 陈火旺 陈立前 李舟军 李梦君

研究领域

进程代数 有穷命题线性时序逻辑 状态图 验证工具 安全协议 认证性 场景 凸闭包

所属机构

湖南长沙 长沙大学计算机系 国防科技大学计算机学院 国防科学技术大学计算机学院并行与分布处理... 国防科学技术大学计算机学院并行与分布处理...

标签云