Login / Signup
LTSA-WS: a tool for model-based verification of web service compositions and choreography.
Howard Foster
Sebastián Uchitel
Jeff Magee
Jeff Kramer
Published in:
ICSE (2006)
Keyphrases
</>
web service compositions
model checking
software tools
web service composition
data sets
data mining
data driven
face verification
analysis tool
databases
machine learning
artificial intelligence
knowledge base