-
李勇坚
-
-
- 所属机构:中国科学院软件研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国际科技合作与交流专项项目
相关作者
- 何积丰
- 作品数：77被引量：268H指数：6
- 供职机构：华东师范大学
- 研究主题：目标代码 反汇编 高级语言 控制流图 自适应
- 孙永强
- 作品数：192被引量：307H指数：8
- 供职机构：上海交通大学
- 研究主题：程序设计 面向对象 函数式语言 程序语言 计算机网络
- 魏洪兴
- 作品数：168被引量：892H指数：16
- 供职机构：北京航空航天大学
- 研究主题：机器人 嵌入式系统 模块化 自组装 装载机
- 施智平
- 作品数：177被引量：593H指数：11
- 供职机构：首都师范大学
- 研究主题：形式化验证 定理证明 形式化 图像检索 逻辑命题
- 贾娟娟
- 作品数：1被引量：3H指数：1
- 供职机构：首都师范大学信息工程学院
- 研究主题：XML-RPC ROS 形式化验证 定理证明 有界模型检测
