2 datasets found

Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities...

The work presented in this thesis is a contribution to formal specification and verification methods. Formal specifications are used to describe a software, or more...