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