Pierre Chifflier
IdRefMots clés
FR |
EN
Sécurité informatique
Systèmes de détection
Apprentissage supervisé
Systèmes interactifs
Apprentissage actif
Génération automatique d'attributs
Informatique
Sécurité
Vérification matérielle
Méthodes formelles
Coq
Protection de l'information (informatique)
Informatique -- Appareils et matériel
Méthodes formelles (informatique)