Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvain Hallé. Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 95-104, IEEE Computer Society, 2011. [doi]

This author has not been identified. It may be one of the following persons:

Sylvain Hallé

Look up 'Sylvain Hallé' in Google

runs on WebDSL