Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University.
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Saved in: