徐建
作品数: 46被引量:36H指数:4
  • 所属机构:北京控制工程研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

刘波
作品数:146被引量:94H指数:7
供职机构:北京控制工程研究所
研究主题:热备份 处理器 容错 星载 计算机
彭飞
作品数:41被引量:15H指数:3
供职机构:北京控制工程研究所
研究主题:多核 容错 操作系统内核 空间飞行器 控制计算机
王婧
作品数:22被引量:13H指数:2
供职机构:北京控制工程研究所
研究主题:热备份 多核 实时系统 容错方法 处理器
杨桦
作品数:73被引量:52H指数:5
供职机构:北京控制工程研究所
研究主题:形式化验证 星载 操作系统 嵌入式操作系统 航天器
杨孟飞
作品数:235被引量:491H指数:12
供职机构:中国空间技术研究院
研究主题:航天器 星敏感器 容错 形式化验证 敏感器