TY  - JOUR
AU  - Mounia Elqortobi
AU  - Warda El-Khouly
AU  - Amine Rahj
AU  - Jamal Bentahar
AU  - Rachida Dssouli
TI  - Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
JO  - Computer Science and Information Systems
PY  - 2020
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a14/
ID  - CSIS_2020_17_1_a14
ER  -