| |
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Enforcement à l'éxécution de propriétés temporisées
Date de publication :
23-01-2015 |
Auteur(s) :
Pinisetty Srinivas |
Editeur(s) :
Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
L'enforcement à l'exécution est une technique efficace de vérification et de validation dont le but est de corriger les exécutions incorrectes d'un système, par rapport à un ensemble de propriétés désirées. En utilisant un moniteur d'enforcement, une exécution (possiblement incorrecte), vue comme une séquence d'événements, est passée en entrée du moniteur, puis corrigée en sortie par rapport à la ...
Référencé le :
21-08-2015
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
