Call Us 080-41656200 (Mon-Sat: 10AM-8PM)

Generating Simulation Models of Communication Protocols

 

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

 

Check Your Delivery Options

 
Rs. 2,675

Availability: In stock

 
  • Product Description
 

There have been many developments in the field of facilitated model based verification and validation techniques. Most of them have been based upon observing the external behaviour of the system. Our approach follows the same and is valid with the source code of the system under observance is not available Inference mechanism allow us to infer such machine models by observing. We present a framework which adopts to generate component with infinite/finite states and adapt to formal verifications. The models used are communication protocol inferred by regular inference observed through the behaviour of communication protocol entity. Also, an approach is presented such that the observed behaviour of the protocol validates to the designed model of the protocol.

Product Specifications
SKU :COC54902
AuthorMd. Tanzilur Rahman and Gurpreet Singh Saini
LanguageEnglish
BindingPaperback
Number of Pages56
Publishing Year2014-02-20T00:00:00.000
ISBN9783846526019
Edition1 st
Book TypeComputing & information technology
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-06-08 00:00:00
0 Review(s)