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

Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz. rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science in China, 6(1):17-39, 2012. [doi]

Abstract

Abstract is missing.