Home ›
Entities
› academia
› FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain
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
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain
Summary
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain is a scholarly article[1].
Key Facts
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain's instance of is recorded as scholarly article[2].
References
Programmatic citations — every numbered marker resolves to a verifiable graph row below.
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. Retrieved May 24, 2026, from https://4ort.xyz/entity/frepa-an-automated-and-formal-approach-to-requirement-modeling-and-analysis-in-aircraft-control-domain
MLA“FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/frepa-an-automated-and-formal-approach-to-requirement-modeling-and-analysis-in-aircraft-control-domain.
BibTeX@misc{4ortxyz_frepa-an-automated-and-formal-approach-to-requirement-modeling-and-analysis-in-aircraft-control-domain_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain}}, year = {2026}, url = {https://4ort.xyz/entity/frepa-an-automated-and-formal-approach-to-requirement-modeling-and-analysis-in-aircraft-control-domain}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain — https://4ort.xyz/entity/frepa-an-automated-and-formal-approach-to-requirement-modeling-and-analysis-in-aircraft-control-domain (retrieved 2026-05-24)
