Documents publiés en "2025"
Nombre de documents: 1
Département de génie informatique et génie logiciel
Zrelli, R. (2025). Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation [Thèse de doctorat, Polytechnique Montréal]. Disponible