Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun Refinement and verification in component-based model-driven design. (English) Zbl 1178.68158 Sci. Comput. Program. 74, No. 4, 168-196 (2009). MSC: 68N99 68Q60 PDF BibTeX XML Cite \textit{Z. Chen} et al., Sci. Comput. Program. 74, No. 4, 168--196 (2009; Zbl 1178.68158) 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