• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Génération de modèles de simulation de protocoles de communication

Génération de modèles de simulation de protocoles de communication

Paperback

General Computers

ISBN10: 6209956912
ISBN13: 9786209956911
Publisher: Editions Notre Savoir
Published: Apr 23 2026
Pages: 52
Weight: 0.18
Height: 0.12 Width: 6.00 Depth: 9.00
Language: French
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.

Also from

Rahman, MD Tanzilur

Also in

General Computers