Le moteur de recherche
des thèses françaises
Marie-Laure Potet
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Systèmes embarqués (informatique)
Logiciels -- Vérification
Cybersécurité
Méthodes formelles
Coq
Analyse statique
Raffinement
Méthodes formelles (informatique)
Débogage
Protection de l'information (informatique)
Vérification
Preuve de programmes
Cryptographie
Vérification formelle
Cyberdéfense
Mesures de sûreté
Vulnérabilités
Injection de fautes