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

by Peter Bertok, Kazi Sakib, Zahir Tari

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. Within the last few years, we have seen a steep growth of research works particularly on various sensor node organization issues. The objective of this book is to gather recent advancements in the fields of self-organizing...

• Format: Hardcover
• Language: English
• ISBN: 0470905395
• ISBN13: 9780470905395
• Release Date: December 2013
• Publisher: Wiley
• Length: 272 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.7" x 6.2" x 9.2"