Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Lionel Nganyewou Tidjon

Mots clés

FR |

EN

Spécification formelle

Détection d'intrusions

Systèmes de détection d'intrusion (informatique)

Systèmes informatiques -- Mesures de sûreté

Compilation (informatique)

Cyberterrorisme

Méthodes formelles (informatique)