Kontakt
Ako nakupovať
Doručenie
Nákupný poradca
Génération de modèles de simulation de protocoles de communication
Francúzština
105 b
Nové
Až 30 dní na vrátenie tovaru
De nombreux progrès ont été réalisés dans le domaine des techniques de vérification et de validation basées sur des modèles. La plupart d'entre elles reposent sur l'observation du comportement externe du système. Notre approche suit cette même ligne et s'applique même lorsque le code source du système à observer n'est pas disponible. Un mécanisme d'inférence nous permet de déduire ces modèles de machine par l'observation. Nous présentons un cadre permettant de générer des composants à états infinis ou finis et de les adapter aux vérifications formelles. Les modèles utilisés sont des protocoles de communication déduits par inférence régulière à partir de l'observation du comportement des entités du protocole de communication. Nous présentons également une approche permettant de vérifier que le comportement observé du protocole correspond au modèle conçu pour ce protocole.
Informácie o knihe
Francúzština
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovanéhoAhoj! Som Libroamiko, tvoj knižný radca.
Ako ti môžem pomôcť?