Login / Signup

Refinement and verification in component-based model-driven design.

Zhenbang ChenZhiming LiuAnders P. RavnVolker StolzNaijun 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