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