 | Monter d'un niveau |
Réseau de collaborationCe graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.
Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.
Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.
Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.
Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.
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
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
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
