您的位置： 专家智库 > >

胡思远

作品数：2 被引量：0H指数：0
供职机构：北京航空航天大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 2个自动化与计算...
  • 1个航空宇航科学...
  • 1个一般工业技术
  • 1个理学

主题

  • 2个形式化
  • 2个形式化验证
  • 2个映射
  • 2个声明
  • 1个代码
  • 1个导数
  • 1个信号
  • 1个信号测试
  • 1个信息安全
  • 1个旋翼
  • 1个旋翼无人机
  • 1个音频
  • 1个音频信号
  • 1个语言研究
  • 1个软件测试
  • 1个软件产品
  • 1个软件代码
  • 1个软件故障
  • 1个软件故障树
  • 1个软件开发

机构

  • 2个北京航空航天...

资助

  • 1个国防科技技术...
  • 1个国家自然科学...

传媒

  • 1个计算机研究与...
  • 1个计算机工程
  • 1个沈阳工业大学...
  • 1个测控技术
  • 1个北京航空航天...
  • 1个信息网络安全
  • 1个第7届国际可...
  • 1个第六届中国测...
  • 1个中国航空学会...
  • 1个大型飞机关键...

地区

  • 2个北京市
共 2 条 记 录，以下是 1-2
张虹
供职机构：北京航空航天大学可靠性与系统工程学院
研究主题：SFMEA 软件测试 故障树 嵌入式软件 GUI软件
发表作品相关人物供职机构所获资助研究领域
孙伟瑄
供职机构：北京航空航天大学
研究主题：UML活动图 形式化验证 活动图 声明 映射
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0