Pascale Le Gall
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Logiciels -- Vérification
Bioinformatique
Génie logiciel
Génération de tests
Analyse statique
Model checking
Ingénierie dirigée par les modèles
Vérification de modèles (informatique)
Analyse des systèmes
Sûreté
Modélisation
Modélisation des données (informatique)
Test
Programmation (informatique)
Transformations de graphes
Transformation de graphes
Métabolisme
Processus stochastiques