欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Refinement and verification in component-based model-driven design
ISSN号:0167-6423
期刊名称:Science of Computer Programming
时间:0
页码:168-196
语言:英文
相关项目:模型驱动架构中模型构造与集成方法的研究
作者:
Zhenbang Chen|Volker Stolz|Naijun Zhan|Anders P. Ravn|Zhiming Liu|
同期刊论文项目
模型驱动架构中模型构造与集成方法的研究
期刊论文 9
会议论文 17
专利 2
同项目期刊论文
State Based Robustness Testing for Components
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