电脑体验，效果更佳

杜惠敏图谱-计算机领域：

相关人员

郝克刚 郭建 韩俊刚

研究领域

时态逻辑 CTL BDD 模型检验 符号模型检验

所属机构

西北大学计算机科学系 西北工业大学计算机科学系 西安邮电学院ASIC中心

标签云