您的位置: 专家智库 > >

领域

  • 5个自动化与计算...
  • 1个电子电信
  • 1个航空宇航科学...
  • 1个一般工业技术

主题

  • 5个嵌入式
  • 5个嵌入式软件
  • 4个软件测试
  • 4个自动化
  • 4个仿真
  • 3个软件测试技术
  • 3个失效模式
  • 2个形式化
  • 2个形式化验证
  • 2个遥感
  • 2个遥感图像
  • 2个影响因素
  • 2个元数据
  • 2个质量水平
  • 2个软件产品
  • 2个软件功能
  • 2个软件可靠性模...
  • 2个软件模型
  • 2个生命周期
  • 2个失效率

机构

  • 5个中国航空综合...

资助

  • 1个国防基础科研...
  • 1个国家高技术研...
  • 1个国家自然科学...
  • 1个军内科研计划...
  • 1个中国航空科学...

传媒

  • 1个中国标准化
  • 1个电子技术应用
  • 1个计算机应用与...
  • 1个微电子学与计...
  • 1个小型微型计算...
  • 1个软件学报
  • 1个微型机与应用
  • 1个航空标准化与...
  • 1个计算机工程与...
  • 1个航空发动机
  • 1个计算机科学
  • 1个计算机测量与...
  • 1个电子设计工程

地区

  • 5个北京市
5 条 记 录,以下是 1-5
江志炜
供职机构:中国航空综合技术研究所
研究主题:测试用例生成 仿真模型 形式化验证 形式化 可靠性分析
发表作品相关人物供职机构所获资助研究领域
黄燕冰
供职机构:中国航空综合技术研究所
研究主题:测试用例生成 测试性 RHAPSODY 保障资源 保障过程
发表作品相关人物供职机构所获资助研究领域
封二强
供职机构:中国航空综合技术研究所
研究主题:失效模式 嵌入式软件 软件测试 航空装备 映射
发表作品相关人物供职机构所获资助研究领域
李海峰
供职机构:中国航空综合技术研究所
研究主题:风扇转速 发动机控制 发动机 嵌入式软件 控制软件
发表作品相关人物供职机构所获资助研究领域
蔡玉华
供职机构:中国航空综合技术研究所
研究主题:嵌入式软件 测试用例生成 测试用例集 测试数据生成 SYSML
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0