Formal Certification and Compliance for Run-Time Service Environments

Howard Foster, George Spanoudakis, Khaled Mahbub. Formal Certification and Compliance for Run-Time Service Environments. In Louise E. Moser, Manish Parashar, Patrick C. K. Hung, editors, 2012 IEEE Ninth International Conference on Services Computing, Honolulu, HI, USA, June 24-29, 2012. pages 17-24, IEEE, 2012. [doi]

Authors

Howard Foster

This author has not been identified. Look up 'Howard Foster' in Google

George Spanoudakis

This author has not been identified. Look up 'George Spanoudakis' in Google

Khaled Mahbub

This author has not been identified. Look up 'Khaled Mahbub' in Google