-
乔磊
-
-
- 所属机构:北京控制工程研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 杨桦
- 作品数：75被引量：54H指数：5
- 供职机构：北京控制工程研究所
- 研究主题：形式化验证 星载 操作系统 嵌入式操作系统 高可靠
- 杨孟飞
- 作品数：251被引量：551H指数：13
- 供职机构：北京控制工程研究所
- 研究主题：航天器 星敏感器 容错 月面 形式化验证
- 刘波
- 作品数：162被引量：98H指数：7
- 供职机构：北京控制工程研究所
- 研究主题：热备份 处理器 星载 容错 计算机
- 徐建
- 作品数：57被引量：42H指数：4
- 供职机构：北京控制工程研究所
- 研究主题：热备份 单机 处理器 操作系统 航天器
- 彭飞
- 作品数：44被引量：16H指数：3
- 供职机构：北京控制工程研究所
- 研究主题：容错 处理器 操作系统内核 空间飞行器 多核
