Formal certification and compliance for run-time service environments

Howard Foster; George Spanoudakis; Khaled Mahbub

doi:10.1109/SCC.2012.23

Formal certification and compliance for run-time service environments

Howard Foster^*, George Spanoudakis, Khaled Mahbub

^*Corresponding author for this work

City, University of London

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

8 Citations (Scopus)

Original language	English
Title of host publication	Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012
Pages	17-24
Number of pages	8
DOIs	https://doi.org/10.1109/SCC.2012.23
Publication status	Published (VoR) - 2012
Event	2012 IEEE 9th International Conference on Services Computing, SCC 2012 - Honolulu, HI, United States Duration: 24 Jun 2012 → 29 Jun 2012

Publication series

Name	Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012

Conference

Conference	2012 IEEE 9th International Conference on Services Computing, SCC 2012
Country/Territory	United States
City	Honolulu, HI
Period	24/06/12 → 29/06/12

Access to Document

10.1109/SCC.2012.23

Cite this

@inproceedings{aaee4385f8174f0a80759f06ad3ea46d,

title = "Formal certification and compliance for run-time service environments",

author = "Howard Foster and George Spanoudakis and Khaled Mahbub",

year = "2012",

doi = "10.1109/SCC.2012.23",

language = "English",

isbn = "9780769547534",

series = "Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012",

pages = "17--24",

booktitle = "Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012",

note = "2012 IEEE 9th International Conference on Services Computing, SCC 2012 ; Conference date: 24-06-2012 Through 29-06-2012",

}

Foster, H, Spanoudakis, G & Mahbub, K 2012, Formal certification and compliance for run-time service environments. in Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012., 6274122, Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012, pp. 17-24, 2012 IEEE 9th International Conference on Services Computing, SCC 2012, Honolulu, HI, United States, 24/06/12. https://doi.org/10.1109/SCC.2012.23

Formal certification and compliance for run-time service environments. / Foster, Howard; Spanoudakis, George; Mahbub, Khaled.
Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012. 2012. p. 17-24 6274122 (Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012).

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

TY - GEN

T1 - Formal certification and compliance for run-time service environments

AU - Foster, Howard

AU - Spanoudakis, George

AU - Mahbub, Khaled

PY - 2012

Y1 - 2012

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

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

U2 - 10.1109/SCC.2012.23

DO - 10.1109/SCC.2012.23

M3 - Conference contribution

AN - SCOPUS:84867394807

SN - 9780769547534

T3 - Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012

SP - 17

EP - 24

BT - Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012

T2 - 2012 IEEE 9th International Conference on Services Computing, SCC 2012

Y2 - 24 June 2012 through 29 June 2012

ER -

Formal certification and compliance for run-time service environments

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this