Informations professionnelles
Statut: Doctorant en deuxième année
ED: EDITE
Unité de recherche: LRDE
Equipe:
Employeur: EPITA Date de debut de thèse: 18 octobre 2021 Directeur de thèse: Alexandre DURET-LUTZ (LRDE) Encadrant : Etienne RENAULT (LRDE) Sujet de thèse: Traduction à la volée de logiques temporelles industrielles en ω-automates Thématique : Modèles de calcul, preuve, vérification
Equipe:
Employeur: EPITA Date de debut de thèse: 18 octobre 2021 Directeur de thèse: Alexandre DURET-LUTZ (LRDE) Encadrant : Etienne RENAULT (LRDE) Sujet de thèse: Traduction à la volée de logiques temporelles industrielles en ω-automates Thématique : Modèles de calcul, preuve, vérification