Shenghui Chen, Zhiming Fan, Haiying Shen, Lu Feng. Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods. In 16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems Workshops, MASS Workshops 2019, Monterey, CA, USA, November 4-7, 2019. pages 146-151, IEEE, 2019. [doi]
Abstract is missing.