refinement and verification in component-based model-driven design

Autoria(s): Chen Zhenbang; Liu Zhiming; Ravn Anders P.; Stolz Volker; Zhan Naijun
Data(s)

2009
Identificador

http://ir.iscas.ac.cn/handle/311060/7858

http://www.irgrid.ac.cn/handle/1471x/105678
Idioma(s)

英语
Fonte

Chen Zhenbang;Liu Zhiming;Ravn Anders P.;Stolz Volker;Zhan Naijun.refinement and verification in component-based model-driven design,SCIENCE OF COMPUTER PROGRAMMING,2009,74(4):168-196
Palavras-Chave #Computer Science, Software Engineering #Formal methods
Tipo

期刊论文
Acesso ao item digital