Login / Signup
Refinement and verification in component-based model-driven design.
Zhenbang Chen
Zhiming Liu
Anders P. Ravn
Volker Stolz
Naijun Zhan
Published in:
Sci. Comput. Program. (2009)
Keyphrases
</>
model driven
metamodel
model driven engineering
platform independent
data driven
design process
model driven development
functional verification
real world
case study
lightweight
petri net
model checking