IEEE 2014 fouth international workshop on formal methods in services and cloud computing (FM-S&C 2014) workshop summary in cooperation with service2014 Alaska, USA June 26 - July 2, 2014

Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014
EditorsLiang-Jie Zhang, Rami Bahsoon
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages85-86
Number of pages2
ISBN (Electronic)9781479950690
DOIs
StatePublished - Sep 18 2014
Event2014 IEEE 10th World Congress on Services, SERVICES 2014 - Anchorage, United States
Duration: Jun 27 2014Jul 2 2014

Publication series

NameProceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014

Conference

Conference2014 IEEE 10th World Congress on Services, SERVICES 2014
Country/TerritoryUnited States
CityAnchorage
Period6/27/147/2/14

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Business, Management and Accounting(all)

Cite this