电脑体验，效果更佳

郭建图谱-计算机领域：

相关人员

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

研究领域

模型检验 符号模型检验 不完全Kripke结构 Matlab 可视化 时态逻辑 模态转移系统 键盘处理

所属机构

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

标签云