Integrating formal methods and automated tools for DO-178C compliance in UAV software

Rim Zrelli, Henrique Amaral Misson, Sorelle Kamkuimo, Maroua Ben Attia, Abdo Shabah, Felipe Gohring de Magalhaes et Gabriela Nicolescu

Article de revue (2026)

Document en libre accès chez l'éditeur officiel

Un lien externe est disponible pour ce document

Département:	Département de génie informatique et génie logiciel
URL de PolyPublie:	https://publications.polymtl.ca/72401/
Titre de la revue:	Information and Software Technology
Maison d'édition:	Elsevier BV
DOI:	10.1016/j.infsof.2026.108068
URL officielle:	https://doi.org/10.1016/j.infsof.2026.108068
Date du dépôt:	10 févr. 2026 09:17
Dernière modification:	10 févr. 2026 09:17

Citer en APA 7:	Zrelli, R., Amaral Misson, H., Kamkuimo, S., Ben Attia, M., Shabah, A., Gohring de Magalhaes, F., & Nicolescu, G. (2026). Integrating formal methods and automated tools for DO-178C compliance in UAV software. Information and Software Technology, 108068. https://doi.org/10.1016/j.infsof.2026.108068
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistiques

Actions réservées au personnel