Le moteur de recherche
des thèses françaises
Leila Jemni Ben Ayed
IdRefMots clés
FR |
EN
Automatisation
Attaques internes
B
Preuve
Résolution de contraintes
Model-Checking
Atteignabilité
Systèmes de détection d'intrusion (informatique)
Internet des véhicules
Detection des attaques
Système de réputation
Réseaux ad hoc de véhicules
SDN (architecture des réseaux d'ordinateurs)
Cyberdéfense
Confiance numérique
Réputation numérique
Temps réel (informatique)
Algorithmes Distribués
Calculs Locaux
Détection de Terminaison,