电脑体验，效果更佳

孔德光图谱-计算机领域：

相关人员

宫涛 帅建梅 陈超 唐卓椿 郑烇 吴刚 谭小彬 葛瑶 奚宏生

研究领域

脆弱性 静态分析 数据流 软件脆弱性 时序 多线程 线性时序逻辑 反汇编 hidden Markov模型 数据竞争 有界模型检查 污点分析 控制流

所属机构

中国科学技术大学信息科学技术学院自动化系 中国科学技术大学自动化系 中国科学院合肥物质科学研究院网络中心

标签云