Model-based verification of Web service compositions

Uchitel, S.; Foster, H.; Kramer, J.; Magee, J.

doi:10.1109/ASE.2003.1240303

Record: found
Abstract: not found
Conference Proceedings: not found

Model-based verification of Web service compositions

proceedings-article

Author(s): H. Foster , S. Uchitel , J. Magee , J. Kramer

Conference name: 18th IEEE International Conference on Automated Software Engineering (ASE-03)

Conference date: 6-10 Oct. 2003

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Pages: 152-161

Article

DOI: 10.1109/ASE.2003.1240303

SO-VID: 659c02d2-2b21-45e9-8988-2e7874da95ab

Conference name: 18th IEEE International Conference on Automated Software Engineering

Conference acronym: ASE-03

Conference location: Montreal, Que., Canada

Conference date: 6-10 Oct. 2003

History

Data availability:

Model-based verification of Web service compositions

Read this article at

Related collections

Recursive Rule based Visual Categorization

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 3,224

Cited by 12