Le moteur de recherche
des thèses françaises
Mathilde Arnaud
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Protocoles cryptographiques
Réseaux de communication
Vérification formelle
Protocoles de réseaux d'ordinateurs
Mesures de sûreté
Interconnexion de réseaux (télécommunications)
Vie privée
Classification
Modélisation
Méthodes formelles
Langage de spécification
Vérification de programmes et de modèles
Méthodes formelles (informatique)