电脑体验，效果更佳

闻英友图谱-自然科学领域：

相关人员

罗铭 赵宏 陈书义 王光兴 何光宇 李佳 商瑞强 姜月秋

研究领域

NSIS 谓词逻辑 Petri网 动态防御 认证 可达性分析 网络管理 T-不变量分析

所属机构

辽宁沈阳 东软研究院 东北大学研究院 东北大学信息科学与工程学院 东北大学计算机软件国家工程研究中心

标签云