Guoping Zhang, LuXi Zhao, Weishan Zhang, Kuiyi Yang, Shouchao Tan. Formalizing Mobile Cloud Service Migration with Event-B. In 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), Beijing, China, August 10-14, 2015. pages 991-996, IEEE, 2015. [doi]
Abstract is missing.