盛庄
作品数: 6被引量:4H指数:2
  • 所属机构:北京控制工程研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:安徽省自然科学基金

相关作者

郭向英
作品数:32被引量:55H指数:5
供职机构:北京控制工程研究所
研究主题:模拟器 数据竞争 目标码 嵌入式软件 处理器
郝伟
作品数:9被引量:0H指数:0
供职机构:北京控制工程研究所
研究主题:嵌入式软件 采样率 本地硬盘 服务器 过程管理
顾斌
作品数:82被引量:107H指数:6
供职机构:北京控制工程研究所
研究主题:嵌入式软件 航天器 数据竞争 AADL 航天器控制
杨孟飞
作品数:235被引量:494H指数:12
供职机构:中国空间技术研究院
研究主题:航天器 星敏感器 容错 形式化验证 敏感器
张金巍
作品数:12被引量:2H指数:1
供职机构:北京控制工程研究所
研究主题:遍历 词法分析 处理器 采样率 过程间分析