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]
@article{KeLLS12,
title = {rCOS: a formal model-driven engineering method for component-based software},
author = {Wei Ke and Xiaoshan Li and Zhiming Liu and Volker Stolz},
year = {2012},
doi = {10.1007/s11704-012-2901-5},
url = {http://dx.doi.org/10.1007/s11704-012-2901-5},
researchr = {https://researchr.org/publication/KeLLS12},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {6},
number = {1},
pages = {17-39},
}