Sign in

Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.

Shaobin LiuXiaohong ChenZhi JinMin Zhang
Published in: HPCC/DSS/SmartCity/DependSys (2022)
Keyphrases
  • domain experts
  • real time
  • domain knowledge
  • knowledge acquisition
  • real time systems
  • automated analysis
  • machine learning
  • artificial intelligence
  • low cost
  • domain specific
  • statistical analysis
  • expert knowledge