Warda El-Khouly

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Safety Analysis

Formal Verification

Support Systems

Top Venues

Comput. Sci. Inf. Syst.

Publications

Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
Verification and testing of safety-critical airborne systems: A model-based methodology. Comput. Sci. Inf. Syst. 17 (1) (2020)
Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli
Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. MEDI Workshops (2018)