External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing Mobile Cloud Service Migration with Event-B

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]

Authors

Guoping Zhang

This author has not been identified. Look up 'Guoping Zhang' in Google

LuXi Zhao

This author has not been identified. Look up 'LuXi Zhao' in Google

Weishan Zhang

This author has not been identified. Look up 'Weishan Zhang' in Google

Kuiyi Yang

This author has not been identified. Look up 'Kuiyi Yang' in Google

Shouchao Tan

This author has not been identified. Look up 'Shouchao Tan' in Google
runs on