Le moteur de recherche
des thèses françaises
Olga Kouchnarenko
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Reconfiguration dynamique
Vérification
Systèmes adaptatifs (technologie)
Méthodes formelles
Systèmes informatiques
Reconfiguration (informatique)
Coq
Débogage
Systèmes à composants
Ontologies (informatique)
Test de Vulnérabilité
Test à partir de Modèles
Patterns de Test de Vulnérabilité
Applications Web
Cross-Site Scripting
Injections SQL
Cross-Site Request Forgery
Privilege Escalation
Systèmes informatiques -- Mesures de sûreté