Monsieur GHILAIN BERGERON
Langues vivantes
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Spécialité
InformatiqueLaboratoire
Doctorat
Génération de programmes distribués à partir de spécifications formelles
Generating distributed programs from formal specifications
Niveau de thèse : 2A these 2024
Directeur de thèse
/ CIRSTEA Horatiu
Co-directeur de thèse
/ MERZ Stephan
Master
Intitulé / Master informatique, Ingénieure des Logiciels - Méthodes Formelles pour des Logiciels Sûrs,
09 /
2023
- UNIVERSITE DE LORRAINE