Model based verification of dynamically evolvable service oriented systems

Yu Zhou, JiDong Ge, Pengcheng Zhang, Weigang Wu. Model based verification of dynamically evolvable service oriented systems. Science in China Series F: Information Sciences, 59(3), 2016. [doi]

Abstract

Abstract is missing.