Sign in

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 He
Published in: CoRR (2023)
Keyphrases
  • quantitative analysis
  • fully automated
  • information retrieval
  • automated analysis
  • formal representation
  • real time
  • image analysis
  • control system
  • domain specific
  • statistical analysis
  • domain experts
  • control strategy