您的位置： 专家智库 > >

陆翔升

作品数：1 被引量：1H指数：1
供职机构：中国科学院成都计算机应用研究所更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇元模型
  • 1篇时序逻辑
  • 1篇线性时序逻辑
  • 1篇模型检测工具
  • 1篇过程层
  • 1篇PROMEL...
  • 1篇RGPS

机构

  • 1篇郑州轻工业学...
  • 1篇中国科学院成...
  • 1篇河南财经政法...

作者

  • 1篇吴尽昭
  • 1篇袁开银
  • 1篇郭瑞
  • 1篇陆翔升

传媒

  • 1篇计算机工程

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
RGPS过程层元模型正确性验证被引量：1
2012年
利用Web服务本体描述语言对RGPS过程层元模型进行描述,建立Promela模型。基于线性时序逻辑,以及Spin检测工具的偏序规约和on-the-fly等优化技术对Promela模型进行正确性验证,设计并实现RGPS过程层元模型正确性验证平台。通过城市交通系统实例证明该验证方法的正确性和有效性。
袁开银郭瑞陆翔升吴尽昭
关键词：线性时序逻辑
全选 清除 导出
共1页<1>
聚类工具0