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

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

Browse the full MEDI paper archive.