位置：成果数据库 > 期刊 > 期刊详情页
The Veri?cation of rCOS Using Spin
  • ISSN号：1571-0661
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：0
  • 页码：49-67
  • 语言：英文
  • 相关项目：模型驱动架构中模型构造与集成方法的研究
作者： Xiao Yu|Dingding Mao|刘静|Geguang Pu|Zheng Wang|
同期刊论文项目
模型驱动架构中模型构造与集成方法的研究
期刊论文 9 会议论文 17 专利 2
同项目期刊论文
State Based Robustness Testing for Components
Refinement and verification in component-based model-driven design
Prototyping System Requirements Model
Parametric Analysis of an Improved Fault Tolerant System
A Rigorous Model of Service Component Architecture