Technology Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)

1. Model-Based Simulation of SOAP WebServices From Temporal Logic SpecificationsSylvain HalléUniversité du Québec à ChicoutimiCANADA Fonds…