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

doi:10.1109/SERVICES.2014.24

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

College of Information Sciences and Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014
Editors	Liang-Jie Zhang, Rami Bahsoon
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	85-86
Number of pages	2
ISBN (Electronic)	9781479950690
DOIs	https://doi.org/10.1109/SERVICES.2014.24
State	Published - Sep 18 2014
Event	2014 IEEE 10th World Congress on Services, SERVICES 2014 - Anchorage, United States Duration: Jun 27 2014 → Jul 2 2014

Publication series

Name	Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014

Conference

Conference	2014 IEEE 10th World Congress on Services, SERVICES 2014
Country/Territory	United States
City	Anchorage
Period	6/27/14 → 7/2/14

All Science Journal Classification (ASJC) codes

General Computer Science
General Business, Management and Accounting

Access to Document

10.1109/SERVICES.2014.24

Cite this

Cai, G., Li, Y., Yin, Y., & Gao, H. (2014). 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. In L.-J. Zhang, & R. Bahsoon (Eds.), Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014 (pp. 85-86). Article 6903248 (Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERVICES.2014.24

Cai, Guoray ; Li, Ying ; Yin, Yuyu et al. / 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. Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014. editor / Liang-Jie Zhang ; Rami Bahsoon. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 85-86 (Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014).

@inproceedings{127f299857b04ceb8f6d5fd75b84f581,

title = "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",

author = "Guoray Cai and Ying Li and Yuyu Yin and Honghao Gao",

year = "2014",

month = sep,

day = "18",

doi = "10.1109/SERVICES.2014.24",

language = "English (US)",

series = "Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "85--86",

editor = "Liang-Jie Zhang and Rami Bahsoon",

booktitle = "Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014",

address = "United States",

note = "2014 IEEE 10th World Congress on Services, SERVICES 2014 ; Conference date: 27-06-2014 Through 02-07-2014",

}

Cai, G, Li, Y, Yin, Y & Gao, H 2014, 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. in L-J Zhang & R Bahsoon (eds), Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014., 6903248, Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014, Institute of Electrical and Electronics Engineers Inc., pp. 85-86, 2014 IEEE 10th World Congress on Services, SERVICES 2014, Anchorage, United States, 6/27/14. https://doi.org/10.1109/SERVICES.2014.24

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. / Cai, Guoray; Li, Ying; Yin, Yuyu et al.
Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014. ed. / Liang-Jie Zhang; Rami Bahsoon. Institute of Electrical and Electronics Engineers Inc., 2014. p. 85-86 6903248 (Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - 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

AU - Cai, Guoray

AU - Li, Ying

AU - Yin, Yuyu

AU - Gao, Honghao

PY - 2014/9/18

Y1 - 2014/9/18

UR - http://www.scopus.com/inward/record.url?scp=85113846581&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85113846581&partnerID=8YFLogxK

U2 - 10.1109/SERVICES.2014.24

DO - 10.1109/SERVICES.2014.24

M3 - Conference contribution

AN - SCOPUS:85113846581

T3 - Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014

SP - 85

EP - 86

BT - Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014

A2 - Zhang, Liang-Jie

A2 - Bahsoon, Rami

PB - Institute of Electrical and Electronics Engineers Inc.

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

Y2 - 27 June 2014 through 2 July 2014

ER -

Cai G, Li Y, Yin Y, Gao H. 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. In Zhang LJ, Bahsoon R, editors, Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 85-86. 6903248. (Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014). doi: 10.1109/SERVICES.2014.24

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

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this