FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain

MLA

Feng, Jincao, et al. FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. 2023. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2306.01260&authtype=sso&custid=ns315887.

APA

Feng, J., Miao, W., Zheng, H., Huang, Y., Li, J., Wang, Z., Su, T., Gu, B., Pu, G., Yang, M., & He, J. (2023). FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.

Chicago

Feng, Jincao, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, et al. 2023. “FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2306.01260&authtype=sso&custid=ns315887.