A formal approach using SysML for capturing functional requirements in avionics domain
ZHU, Shaofan, TANG, Jian, GAUTHIER, Jean-Marie, FAUDOU, Raphaël
Published in Chinese journal of aeronautics (01.12.2019)
Published in Chinese journal of aeronautics (01.12.2019)
Get full text
Journal Article