Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker RCOS: a formal model-driven engineering method for component-based software. (English) Zbl 1251.68078 Front. Comput. Sci. 6, No. 1, 17-39 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{W. Ke} et al., Front. Comput. Sci. 6, No. 1, 17--39 (2012; Zbl 1251.68078) Full Text: DOI
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu Harnessing rCOS for tool support – the CoCoME experience. (English) Zbl 1151.68380 Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 83-114 (2007). MSC: 68N99 PDF BibTeX XML Cite \textit{Z. Chen} et al., Lect. Notes Comput. Sci. 4700, 83--114 (2007; Zbl 1151.68380) Full Text: DOI