Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. - Mounia Elqortobi; Warda El-Khouly; Amine Rahj; Jamal Bentahar; Rachida Dssouli (MEDI Workshops, 2018)

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)