Le moteur de recherche
des thèses françaises
Roland Groz
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Optimisation
Sécurité
Méthodes formelles
Génération de tests
Débogage
Injection de fautes
Méthodes formelles (informatique)
Systèmes à base de composants
Vérification
Boîte noire
Inférence du modèle
Tests de logiciels
Apprentissage
Machine de Mealy
Rétro-ingénierie (informatique)
Apprentissage automatique
Services
Sécurité des systèmes
Binaire