Titre de la thèse : Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation
Présenté par : Rim Zrelli
Programme : Génie informatique et génie logiciel
Département : Dép. de génie informatique et génie logiciel

Jury

Président : Tarek Ould-Bachir
Directrice de recherche : Gabriela Nicolescu
Codirecteur de recherche : John Mullins
Membre : Mohamed Hamdaqa
Représentant du directeur des études supérieures : Eric Alata

Entrée libre
Bienvenue à tous!