Automated Runtime Verification for Web Services

Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick FĂ©lix, Richard Castanet. Automated Runtime Verification for Web Services. In IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA,July 5-10, 2010. pages 76-82, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.