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)
Cybersécurité
Logiciels -- Vérification
Méthodes formelles
Coq
Raffinement
Méthodes formelles (informatique)
Débogage
Protection de l'information (informatique)
Analyse statique
Vérification
Preuve de programmes
Cryptographie
Vérification formelle
Cyberdéfense
Mesures de sûreté
Vulnérabilités
Systèmes de détection d'intrusion (informatique)