AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
黄连生图谱-计算机领域:
相关人员
周宏斌
马征
王新兵
张磊
戴一奇
杨克
桑田
谢锋
研究领域
形式化方法
自动验证
BAN类逻辑
形式化验证
抽象
Z方法
攻击者
有效
所属机构
清华大学计算机系
清华大学计算机科学与技术系
清华大学计算机科学与技术系网络技术研究所
标签云
黄连生图谱-计算机领域:
相关人员 查看更多
研究兴趣 查看更多
黄连生标签云