Institutional Repository
| refinement and verification in component-based model-driven design | |
| Chen Zhenbang; Liu Zhiming; Ravn Anders P.; Stolz Volker; Zhan Naijun | |
| 2009 | |
| Source | SCIENCE OF COMPUTER PROGRAMMING
 |
| ISSN | 0167-6423 |
| Volume | 74Issue:4Pages:168-196 |
| Indexed Type | 其他 |
| Keyword | Formal Methods |
| Department | Chen, Zhenbang; Liu, Zhiming; Stolz, Volker UNU, IIST, Macao, Peoples R China. Ravn, Anders P. Univ Aalborg, Dept Comp Sci, Aalborg, Denmark. Zhan, Naijun CAS, Inst Software, Comp Sci Lab, Beijing, Peoples R China. Chen, Zhenbang Natl Lab Parallel & Distributed Proc, Changsha, Hunan, Peoples R China. |
| Subject | Computer Science, Software Engineering |
| Language | 英语 |
| WOS ID | WOS:000263616600002 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/7858 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Chen Zhenbang,Liu Zhiming,Ravn Anders P.,et al. refinement and verification in component-based model-driven design[J]. SCIENCE OF COMPUTER PROGRAMMING,2009,74(4):168-196. |
| APA | Chen Zhenbang,Liu Zhiming,Ravn Anders P.,Stolz Volker,&Zhan Naijun.(2009).refinement and verification in component-based model-driven design.SCIENCE OF COMPUTER PROGRAMMING,74(4),168-196. |
| MLA | Chen Zhenbang,et al."refinement and verification in component-based model-driven design".SCIENCE OF COMPUTER PROGRAMMING 74.4(2009):168-196. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| refinement and verif（3183KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment