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

相关作者

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