Génération de modèles de simulation de protocoles de communication Tirer des enseignements de nos données.DE
-
- Französisch ausgewählt
43,99 €
UVP
50,30 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
23.04.2026
Verlag
Editions Notre SavoirSeitenzahl
52
Maße (L/B/H)
22/15/0,4 cm
Gewicht
96 g
Sprache
Französisch
ISBN
978-620-9-95691-1
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.
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