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]
@inproceedings{FengMZHL0SGPYH20,
title = {FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain},
author = {Jincao Feng and Weikai Miao and Hanyue Zheng and Yihao Huang and Jianwen Li and Zheng Wang 0005 and Ting Su and Bin Gu and Geguang Pu and Mengfei Yang and Jifeng He},
year = {2020},
doi = {10.1145/3368089.3417047},
url = {https://doi.org/10.1145/3368089.3417047},
researchr = {https://researchr.org/publication/FengMZHL0SGPYH20},
cites = {0},
citedby = {0},
pages = {1376-1386},
booktitle = {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},
editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann 0001},
publisher = {ACM},
isbn = {978-1-4503-7043-1},
}