Langage de spécification et outil de vérification pour le consentement et la nécessité
des données fondés sur une classification relative au respect de la vie privée / Myriam
Clouet ; sous la direction de Julien Signoles ; sous le co-encadrement de Mathilde
Arnaud et Thibaud Antignac. Thèse de doctorat : Informatique : université Paris-Saclay
: 2024
Information trouvée : membre du jury en tant que maître de conférences à INSA Val de Loire, Université d'Orléans
Modélisation formelle de systèmes dynamiques autonomes / Cédric Eichler. Thèse de
doctorat : Réseaux, télécoms, systèmes et architecture : Toulouse 3 : 2015