<  Back to the Polytechnique Montréal portal

Items where Author is "Zrelli, Rim"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: K | M | Z
Number of items: 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. Available

M

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

Z

Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhães, F., Shabah, A., & Nicolescu, G. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents [Paper]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. External link

List generated on: Sun Nov 3 06:46:56 2024 EST