Notice RAMEAU
- Notice
Vérification de modèles (informatique)
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Model checking
Modèles, Vérification de (informatique)
Model checking
Modèles, Vérification de (informatique)
Source(s) :
Model checking et vérification probabiliste / S. Peyronnet, 2003 . - Vérification de systèmes d'événements B par model-checking PLTL : contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes / B. Parreaux, 2000 . - Model checking / E. M. Clarke, O. Grumberg, D. Peled, 1999 . - Principles of model checking / C. Baier, J.-P. Katoen, K. G. Larsen, 2008
Model checking et vérification probabiliste / S. Peyronnet, 2003 . - Vérification de systèmes d'événements B par model-checking PLTL : contribution à la réduction de l'explosion combinatoire en utilisant de la résolution de contraintes ensemblistes / B. Parreaux, 2000 . - Model checking / E. M. Clarke, O. Grumberg, D. Peled, 1999 . - Principles of model checking / C. Baier, J.-P. Katoen, K. G. Larsen, 2008
Domaine(s) : 000
. - 510
. - 621
Pas de correspondance :
- LCSH (Library of Congress Subject Headings)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec))
- LCSH (Library of Congress Subject Headings)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec))
Identifiant de la notice : ark:/12148/cb17142012m
Notice n° :
FRBNF17142012
Création :
17/07/24
