Madame SARAH DEPERNET
Langues vivantes
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Spécialité
InformatiqueLaboratoire

Doctorat
Vérification formelle de propriétés temporisées de cybersécurité avec des méthodes formelles
Verifying timed cybersecurity properties using formal methods
Niveau de thèse : 1A these 2024
Directeur de thèse
/ MERZ Stephan
Co-directeur de thèse
/ ESCAFFRE-LEFAUCHEUX ENGEL
Master
Intitulé / Sciences et Technologies
09 /
2024
- UNIVERSITE DE BORDEAUX