Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.

Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, Chenchen Yang

Browse the full QRS paper archive.