rCOS: a formal model-driven engineering method for component-based software.

Published in: Frontiers Comput. Sci. China (2012)

Keyphrases