Génération de modèles simulation protocoles communication: Tirer des enseignements nos données

Prijzen vanaf
47,05

Uitgelicht

VERGELIJK ALLE AANBIEDERS (3)

Beschrijving

Bol 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.

Vergelijk aanbieders (3)

Shop
Prijs
Verzendkosten
Totale prijs
47,05
Gratis
47,05
Naar shop
Gratis Shipping Costs
47,05
Gratis
47,05
Naar shop
Gratis Shipping Costs
48,99
Gratis
48,99
Naar shop
Gratis Shipping Costs
Beschrijving (2)
Bol

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.

Amazon

Pagina's: 52, Paperback, Editions Notre Savoir


Productspecificaties

Merk Editions Notre Savoir
EAN
  • 9786209956911
Maat


Prijshistorie

* Prijshistorie bevat geen data van Amazon, Amazon Marketplace.

Prijzen voor het laatst bijgewerkt op:

Uitgelichte Keuze
47,05
Naar shop