电脑体验，效果更佳

刘建元图谱-计算机领域：

相关人员

高德远 韩俊刚 杜慧敏

研究领域

语言包含 二叉决策图 有限状态机 互模拟 有序二叉判定图 等价性检验 自动机 符号模型检验

所属机构

陕西西安 西安邮电学院 西安邮电学院计算机系 西安邮电学院ASIC中心

标签云