-
杜惠敏
-
-
- 所属机构:西北工业大学计算机学院
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 郭建
- 作品数：24被引量：57H指数：4
- 供职机构：华东师范大学
- 研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
- 郝克刚
- 作品数：171被引量：839H指数：16
- 供职机构：西北大学信息科学与技术学院
- 研究主题：PETRI网 面向对象 工作流 软件开发 PI演算
- 韩俊刚
- 作品数：180被引量：425H指数：11
- 供职机构：西安邮电大学
- 研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计
