Warda El-Khouly

According to our database, Warda El-Khouly authored at least 2 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Verification and testing of safety-critical airborne systems: A model-based methodology.

Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli

Comput. Sci. Inf. Syst., 2020

2018

Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems.

Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli

Proceedings of the New Trends in Model and Data Engineering, 2018