-
张学军
-

-

- 所属机构:北京控制与电子技术研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
相关作者
- 吕毅

- 作品数:17被引量:89H指数:4
- 供职机构:中国科学院软件研究所
- 研究主题:形式化方法 机群文件系统 服务网格 并发 机群
- 王恂

- 作品数:1被引量:1H指数:1
- 供职机构:北京控制与电子技术研究所
- 研究主题:MPI 弹道仿真 加速比 计算机机群
- 吴鹏

- 作品数:10被引量:29H指数:2
- 供职机构:中国科学院软件研究所
- 研究主题:并发 黑盒 公平 机器学习模型 环境构建
- 王淑灵

- 作品数:7被引量:29H指数:3
- 供职机构:中国科学院软件研究所
- 研究主题:形式化验证 形式化 混成系统 多机器人路径规划 定理证明
- 王慧

- 作品数:50被引量:38H指数:3
- 供职机构:柳州职业技术学院
- 研究主题:入侵检测 计算机 柴油发电机 高职院校 二值图像