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... This description may be from another edition of this product.

• 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"