AI 图谱
搜 索
AI实验室
综述
阅读理解
数学分析
问句匹配
意图识别
关系识别
实体识别
关于我们
请正确填写您要查询的数据
电脑体验,效果更佳
肖健宇图谱-自然科学领域:
相关人员
陈海诠
张德运
董浩
张勇
郑卫斌
研究领域
状态空间缩减
区域化执行证据
程序模型检测
过程提取
线性时序逻辑
软件模型检测
任务模块化
程序依赖图
循环-承载数据依赖
程序条件化
符号化执行
并发程序
所属机构
西安交通大学电子与信息工程学院
湖南邵阳
邵阳学院激光与信息研究所
710049西安
西安安智科技有限公司
邵阳学院计算机系
标签云
肖健宇图谱-自然科学领域:
图谱关系 查看更多
相关人员 查看更多
肖健宇标签云