WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
- Conference or Workshop Paper
- IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
- May, 2006
- PDF of full publication (298 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Conditions for downloading publications from this site.