李勇坚
作品数： 7被引量：9H指数：2
  • 所属机构:中国科学院软件研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国际科技合作与交流专项项目

相关作者

何积丰
作品数：77被引量：278H指数：6
供职机构：华东师范大学
研究主题：目标代码 反汇编 高级语言 控制流图 自适应
孙永强
作品数：197被引量：307H指数：8
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题：程序设计 面向对象 函数式语言 程序语言 计算机网络
魏洪兴
作品数：168被引量：907H指数：16
供职机构：北京航空航天大学
研究主题：机器人 嵌入式系统 模块化 自组装 装载机
施智平
作品数：189被引量：642H指数：12
供职机构：首都师范大学
研究主题：形式化验证 定理证明 形式化 图像检索 机器人
贾娟娟
作品数：1被引量：3H指数：1
供职机构：首都师范大学信息工程学院
研究主题：XML-RPC ROS 形式化验证 定理证明 有界模型检测
作品列表