位置：成果数据库 > 期刊 > 期刊详情页
State Based Robustness Testing for Components
  • ISSN号：1571-0661
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：0
  • 页码：173-188
  • 语言：英文
  • 相关项目：模型驱动架构中模型构造与集成方法的研究
作者： Charles Morisset|Xuandong Li|Zhiming Liu|Bin Lei|
同期刊论文项目
模型驱动架构中模型构造与集成方法的研究
期刊论文 9 会议论文 17 专利 2
同项目期刊论文
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
The Veri?cation of rCOS Using Spin