Generating Simulation Models of Communication Protocols Learning from our Data
-
- Englisch ausgewählt
35,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
20.02.2014
Verlag
LAP LAMBERT Academic PublishingSeitenzahl
56
Maße (L/B/H)
22/15/0,4 cm
Gewicht
102 g
Auflage
1. Auflage
Sprache
Englisch
ISBN
978-3-8465-2601-9
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice