电脑体验，效果更佳

郭建图谱-计算机领域：

相关人员

杜惠敏 张新政 郝克刚 张宇羽 韩俊刚 李莹

研究领域

模型检验 符号模型检验 不完全Kripke结构 Matlab 可视化 时态逻辑 模态转移系统 键盘处理 DSP GUIDE 用户界面 句柄图形 BDD 三值逻辑 串行ROM CTL

所属机构

西北大学计算机科学系 西安邮电学院ASIC中心 西北工业大学计算机科学系 西安电子科技大学微电子学院 西安邮电学院计算机科学系 西安邮电学院计算机科学系西安 广东工业大学自动化学院

标签云