A Novel Approach to Maintain Traceability between Safety Requirements and Model Design.

Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He

Browse the full SEKE paper archive.