%0 Journal Article
%A Mounia Elqortobi
%A Warda El-Khouly
%A Amine Rahj
%A Jamal Bentahar
%A Rachida Dssouli
%T Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
%J Computer Science and Information Systems
%D 2020
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a14/
%F CSIS_2020_17_1_a14