A Formal Design Model for Cloud Services

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]

@inproceedings{SunF17-1,
  title = {A Formal Design Model for Cloud Services},
  author = {Meng Sun and Guirong Fu},
  year = {2017},
  doi = {10.18293/SEKE2017-055},
  url = {https://doi.org/10.18293/SEKE2017-055},
  researchr = {https://researchr.org/publication/SunF17-1},
  cites = {0},
  citedby = {0},
  pages = {173-178},
  booktitle = {The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017},
  editor = {Xudong He},
  publisher = {KSI Research Inc. and Knowledge Systems Institute Graduate School},
  isbn = {1-891706-41-1},
}