电脑体验，效果更佳

李泽鹏图谱-计算机领域：

相关人员

金英 郑晓娟 刘磊 张晶

研究领域

多线程Java程序 安全相关行为模型 安全行为模型 参数化扩展上下文无关文法 形式验证 携带模型代码 静态检查 Java安全机制

所属机构

吉林大学计算机科学与技术学院 吉林长春 东北师范大学软件学院

标签云