Verification of Communication Protocols in Web Services : Model-Checking Service Compositions

Omtale

In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas.