电脑体验，效果更佳

韩俊刚图谱-机械领域：

相关人员

殷诚信 杜慧敏 曾泽沧 高德远 张军 孟李林 刘建元 郭建

研究领域

符号模型检验 模态转移系统 图形硬件加速器 高阶逻辑 等价性检验 时态逻辑 GPU 分支时态逻辑

所属机构

骊山微电子公司 西安邮电学院计算机系 空军工程大学电子工程系 西安邮电学院ASIC中心 西安邮电学院计算机科学系 西安电子科技大学微电子学院 西安邮电学院计算机科学系西安 西安邮电学院专用集成电路设计中心

标签云