FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Jincao FengWeikai MiaoHanyue ZhengYihao HuangJianwen LiZheng WangTing SuBin GuGeguang PuMengfei YangJifeng HePublished in: ESEC/SIGSOFT FSE (2020)
Keyphrases