您的位置： 专家智库 > >

谢伟华

作品数：2 被引量：0H指数：0
供职机构：中国航天科技集团公司更多>>
相关领域：航空宇航科学技术更多>>

合作作者

文献类型

  • 2篇中文专利

领域

  • 1篇航空宇航科学...

主题

  • 2篇一致性
  • 2篇映射
  • 2篇矩阵
  • 2篇关联矩阵
  • 2篇AADL

机构

  • 2篇中国航天科技...

作者

  • 2篇张辉
  • 2篇张刚
  • 2篇谢伟华
  • 2篇经小川
  • 2篇王崑声

年份

  • 1篇2014
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种验证AADL模型运行状态与需求一致性的方法
一种验证AADL模型运行状态与需求一致性的方法，步骤包括：(1)根据需求中的状态和状态迁移构建AADL模型，AADL模型中模式和模式迁移分别对应需求中的状态和状态迁移；(2)将AADL模型中模式和模式迁移转化为Petri...
王崑声张辉经小川张刚谢伟华
一种验证AADL模型运行状态与需求一致性的方法
一种验证AADL模型运行状态与需求一致性的方法，步骤包括：(1)根据需求中的状态和状态迁移构建AADL模型，AADL模型中模式和模式迁移分别对应需求中的状态和状态迁移；(2)将AADL模型中模式和模式迁移转化为Petri...
王崑声张辉经小川张刚谢伟华
文献传递
全选 清除 导出
共1页<1>
聚类工具0