Er zijn problemen bij het activeren van e-books. Daardoor kan het langer duren voor je aangekochte e-books beschikbaar zijn. Je ontvangt automatisch bericht van zodra dat het geval is.
- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Er zijn problemen bij het activeren van e-books. Daardoor kan het langer duren voor je aangekochte e-books beschikbaar zijn. Je ontvangt automatisch bericht van zodra dat het geval is.
- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Generating Simulation Models of Communication Protocols
Learning from our Data
Md. Tanzilur Rahman, Gurpreet Singh Saini
Paperback | Engels
€ 48,95
Omschrijving
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 56
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9783846526019
- Verschijningsdatum:
- 20/02/2014
- Uitvoering:
- Paperback
- Afmetingen:
- 150 mm x 220 mm
- Gewicht:
- 95 g
Alleen bij Standaard Boekhandel
Cadeau
AANGERADEN
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.