Le moteur de recherche
des thèses françaises
Pascale Le Gall
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Logiciels -- Vérification
Modèles mathématiques
Bioinformatique
Génie logiciel
Transformation de graphes
Vérification
Informatique
Analyse statique
Model checking
Génération de tests
Modélisation
Test
Vérification de modèles (informatique)
Processus stochastiques
Tests fonctionnels (informatique)
Ingénierie dirigée par les modèles
Analyse des systèmes
Modélisation formelle