Verification of communication protocols in web services model-checking service compositions /

• Main Author: Mukherjee, Anshuman
• Other Authors: Tari, Zahir, Bertók, Péter, 1952-
• Format: Electronic eBook
• Language: English
• Published: Hoboken, New Jersey : John Wiley & Sons, 2013.
• Series: Wiley series on parallel and distributed computing.
• Subjects: Web services > Testing.; Computer network protocols.; COMPUTERS / Computer Engineering.; Electronic books.

"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--