Meng Sun, Guirong Fu. A Formal Design Model for Cloud Services. In Xudong He, editor, The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017. pages 173-178, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2017. [doi]
Abstract is missing.