Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hanen Ochi
Checking Compatibility of Web Services Behaviorally
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Considering Web Services Security Policy Compatibility
Compatibility Checking for Asynchronously Communicating Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
Formalising Web Services
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Web Services References
IEEE Internet Computing
Computer Networks
Communications
Web Services Communities
Web Services Automation
Tool Support for Model Checking of Web Application Designs
Web Services Technology
