<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Misson, Henrique Amaral"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : K | M
Nombre de documents: 3

K

Kamkuimo, S. A., Göhring de Magalhães, F., Zrelli, R., Misson, H. A., Ben Attia, M., & Nicolescu, G. (2023). Decomposition and Modeling of the Situational Awareness of Unmanned Aerial Vehicles for Advanced Air Mobility. Drones, 7(8), 501-501. Disponible

M

Misson, H. A., Zrelli, R., Ben Attia, M., Gohring de Magalhaes, F., & Nicolescu, G. (septembre 2023). ReDaML: a modeling language for DO-178C high-level requirements in airspace systems [Communication écrite]. 34th International Workshop on Rapid System Prototyping (RSP 2023), Hamburg, Germany (7 pages). Lien externe

Misson, H. A., Goncalves, F. S., & Becker, L. B. (novembre 2019). Applying Integrated Formal Methods on CPS Design [Communication écrite]. 9th Brazilian Symposium on Computing Systems Engineering (SBESC 2019), Natal, Brazil (8 pages). Lien externe

Liste produite: Sat Dec 21 04:09:46 2024 EST.