Recherche Avancée

Thèse en cours

Vers la certification des systèmes avioniques basés sur l'apprentissage automatique : exploitation des preuves mathématiques pour garantir la fiabilité

FR

Accès à la thèse

AttentionLa soutenance a eu lieu le 15/12/2022. Le document qui a justifié du diplôme est en cours de traitement par l'établissement de soutenance.
Auteur / Autrice : Eric Vidot
Direction : Ileana Ober, Iulian Ober
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 01/09/2019
Soutenance le 15/12/2022
Etablissement(s) : Toulouse 2
Ecole(s) doctorale(s) : Mathématiques-Informatique-Télécommunications de Toulouse (MITT)
Partenaire(s) de recherche : Equipe de recherche : IRIT - Institut de Recherche en Informatique de Toulouse(UMR CNRS 5505)
Jury : Examinateurs / Examinatrices : Ileana Ober, Iulian Ober, Caterina Urban, David Delahaye, Christophe Gabreau, Mélanie Ducoffe
Rapporteur / Rapporteuse : Stéphane Canu, Jun Sun