Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Formal Verification of Communication Protocols for Wireless Networks


Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Rs. 3,651

Availability: In stock

  • Product Description

We live in an interconnected word, a world where people cannot afford living isolated anymore. In a few years wireless Internet access evolved form a matter of convenience to a real need for some people. The number and variety of available applications for this environment is overwhelming and the number of applications grows in a daily bases. These systems must be validated before being available to the users. However, in the development of applications for wireless medium designers normally just ignore the medium as a relevant factor to be considered. Not because it does not affect their application, but simply because they do not have any simple, yet efficient, method to address the particularities of the wireless medium. Neither simulations nor testbed implementations can ensure the correctness of a communication protocol. Observing this, some researchers turned to formal verification as a way to guarantee that a given protocol, or application, presents a specific characteristic. This book presents a review of the available techniques and proposes a new methodology for formal verification of communication protocols for wireless networks.

Product Specifications
SKU :COC72730
AuthorDaniel Camara and Antonio Alfredo Ferreira Loureiro
Number of Pages120
Publishing Year2011-10-15T00:00:00.000
Edition1 st
Book TypeComputer networking & communications
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08 00:00:00