Generating Simulation Models of Communication Protocols
Learning from our Data
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
39.90 €
Produktdetails
Produktinformationen zu „Generating Simulation Models of Communication Protocols “
Klappentext zu „Generating Simulation Models of Communication Protocols “
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.
Bibliographische Angaben
- Autoren: Md. Tanzilur Rahman , Gurpreet Singh Saini
- 2014, 56 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 3846526010
- ISBN-13: 9783846526019
Sprache:
Englisch
Kommentar zu "Generating Simulation Models of Communication Protocols"
0 Gebrauchte Artikel zu „Generating Simulation Models of Communication Protocols“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Generating Simulation Models of Communication Protocols".
Kommentar verfassen