Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang 0005, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He. FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 1376-1386, ACM, 2020. [doi]
Abstract is missing.