
A formal approach using SysML for capturing functional requirements in avionics domain
ZHU, Shaofan, TANG, Jian, GAUTHIER, Jean-Marie, FAUDOU, RaphaëlLangue:
english
Journal:
Chinese Journal of Aeronautics
DOI:
10.1016/j.cja.2019.03.037
Date:
May, 2019
Fichier:
PDF, 1.22 MB
english, 2019