Login / Signup

LTSA-WS: a tool for model-based verification of web service compositions and choreography.

Howard FosterSebastián UchitelJeff MageeJeff 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