Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar, Rachida Dssouli. Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez 0001, editors, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 929 of Communications in Computer and Information Science, pages 63-74, Springer, 2018. [doi]
Abstract is missing.