您的位置: 专家智库 > >

谢许扬

作品数:2 被引量:0H指数:0
供职机构:中国航空综合技术研究所更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文专利

领域

  • 1篇自动化与计算...

主题

  • 2篇嵌入式
  • 2篇嵌入式软件
  • 2篇安全性
  • 1篇计算机
  • 1篇计算机技术
  • 1篇飞机

机构

  • 2篇中国航空综合...

作者

  • 2篇郑军
  • 2篇李海峰
  • 2篇蔡玉华
  • 2篇谢许扬
  • 2篇刘畅

年份

  • 1篇2016
  • 1篇2014
2 条 记 录,以下是 1-2
排序方式:
一种嵌入式软件安全性分析充分性检查方法
本发明属于计算机技术领域,涉及一种嵌入式软件安全性分析充分性检查方法,尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查,给出了对PHA...
刘畅李海峰蔡玉华谢许扬郑军
一种嵌入式软件安全性分析充分性检查方法
本发明属于计算机技术领域,涉及一种嵌入式软件安全性分析充分性检查方法,尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查,给出了对PHA...
刘畅李海峰蔡玉华谢许扬郑军
文献传递
共1页<1>
聚类工具0