# FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain

> Research article (Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020) · cited 12× · AI/ML

**Wikidata**: [openalex:W3099031840](https://www.wikidata.org/wiki/openalex:W3099031840)  
**Source**: https://4ort.xyz/entity/frepa-an-automated-and-formal-approach-to-requirement-modeling-and-analysis-in-aircraft-control-domain