-
贾娟娟
-
-
- 所属机构:首都师范大学信息工程学院
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国际科技合作与交流专项项目
相关作者
- 魏洪兴
- 作品数：168被引量：892H指数：16
- 供职机构：北京航空航天大学
- 研究主题：机器人 嵌入式系统 模块化 自组装 装载机
- 李勇坚
- 作品数：6被引量：9H指数：2
- 供职机构：中国科学院软件研究所
- 研究主题：VERILOG 语义研究 VERILOG语言 操作语义 形式化验证
- 施智平
- 作品数：177被引量：593H指数：11
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 形式化 图像检索 逻辑命题
- 关永
- 作品数：340被引量：1,140H指数：16
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 嵌入式系统 形式化 定理证明器
