-
龚健
-
-
- 所属机构:北京控制工程研究所
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家科技重大专项
相关作者
- 杨孟飞
- 作品数：236被引量：520H指数：12
- 供职机构：中国空间技术研究院
- 研究主题：航天器 星敏感器 容错 形式化验证 敏感器
- 刘波
- 作品数：149被引量：97H指数：7
- 供职机构：北京控制工程研究所
- 研究主题：热备份 处理器 星载 容错 计算机
- 杨桦
- 作品数：74被引量：52H指数：5
- 供职机构：北京控制工程研究所
- 研究主题：形式化验证 星载 操作系统 嵌入式操作系统 航天器
- 刘鸿瑾
- 作品数：61被引量：49H指数：4
- 供职机构：北京控制工程研究所
- 研究主题：SPACEWIRE 容错 多核 单粒子翻转 SOC
- 彭飞
- 作品数：42被引量：15H指数：3
- 供职机构：北京控制工程研究所
- 研究主题：容错 操作系统内核 空间飞行器 多核 控制计算机
