refinement and verification in component-based model-driven design
文献类型：期刊论文
| 作者 | Chen Zhenbang ; Liu Zhiming ; Ravn Anders P. ; Stolz Volker ; Zhan Naijun |
| 刊名 | SCIENCE OF COMPUTER PROGRAMMING
 |
| 出版日期 | 2009 |
| 卷号 | 74期号:4页码:168-196 |
| 关键词 | Formal methods |
| ISSN号 | 0167-6423 |
| 学科主题 | Computer Science, Software Engineering |
| 收录类别 | 其他 |
| 语种 | 英语 |
| WOS记录号 | WOS:000263616600002 |
| 公开日期 | 2011-03-18 |
| 源URL | [http://124.16.136.157/handle/311060/7858]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。