Être
Doctorant

doctoriales 2013

DEPERNET SARAH

Madame SARAH DEPERNET

My Logo

Langues vivantes

école doctorale

IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES

Spécialité

Informatique

Laboratoire

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