TY  - RPRT
TI  - FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
AU  - Jincao Feng
AU  - Weikai Miao
AU  - Hanyue Zheng
AU  - Yihao Huang
AU  - Jianwen Li
AU  - Zheng Wang
AU  - Ting Su
AU  - Bin Gu
AU  - Geguang Pu
AU  - Mengfei Yang
AU  - Jifeng He
PY  - 2023
UR  - https://arxiv.org/abs/2306.01260
ID  - 2306.01260
ER  -