Le moteur de recherche
des thèses françaises
Olga Kouchnarenko
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification
Reconfiguration dynamique
Systèmes adaptatifs (technologie)
Méthodes formelles
Composants
Systèmes informatiques
Reconfiguration (informatique)
Approximation
Coq
Débogage
Systèmes à composants
Apprentissage automatique
Ontologies (informatique)
Réécriture
Vérification de modèles (informatique)
Systèmes de réécriture (informatique)
Test de Vulnérabilité
Test à partir de Modèles
Patterns de Test de Vulnérabilité