Le moteur de recherche
des thèses françaises
Pascale Le Gall
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Logiciels -- Vérification
Bioinformatique
Génie logiciel
Analyse statique
Model checking
Génération de tests
Vérification
Modélisation
Transformation de graphes
Vérification de modèles (informatique)
Ingénierie dirigée par les modèles
Analyse des systèmes
Modélisation formelle
Régulation génétique
Transformations de graphes
Temps réel (informatique)
Slicing
Programmation parallèle (informatique)