Thèse de doctorat (2025)
 Document en libre accès dans PolyPublie |
|
Libre accès au plein texte de ce document Conditions d'utilisation: Tous droits réservés Télécharger (3MB) |
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| Programme: | Génie informatique |
| Directeurs ou directrices: |
Gabriela Nicolescu et John Mullins
|
| URL de PolyPublie: | https://publications.polymtl.ca/63404/ |
| Université/École: | Polytechnique Montréal |
| Date du dépôt: | 28 avr. 2026 14:13 |
| Dernière modification: | 28 avr. 2026 16:52 |
| Citer en APA 7: | 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]. PolyPublie. https://publications.polymtl.ca/63404/ |
|---|---|
Statistiques
Total des téléchargements à partir de PolyPublie
Téléchargements par année
Provenance des téléchargements
Actions réservées au personnel
|
Afficher document |
