您的位置： 专家智库 > >

苏威

作品数：1 被引量：2H指数：1
供职机构：陕西师范大学计算机科学学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 1篇语言
  • 1篇体系结构
  • 1篇广义随机PE...
  • 1篇AAD
  • 1篇L模型

机构

  • 1篇陕西师范大学

作者

  • 1篇李蜀瑜
  • 1篇苏威
  • 1篇汤玥

传媒

  • 1篇现代电子技术

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
AADL模型到广义随机Petri网的转换工具被引量：2
2015年
为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。
汤玥苏威李蜀瑜
关键词：广义随机PETRI网
全选 清除 导出
共1页<1>
聚类工具0