Sign in

The bidirectional safety analysis & validation framework of system and software with its techniques and applications.

Haifeng LiChang LiuHuancheng Su
Published in: QRS (2021)
Keyphrases
  • safety analysis
  • software development
  • software systems
  • constraint programming
  • artificial intelligence
  • intelligent systems
  • orders of magnitude
  • heuristic search
  • metamodel
  • nuclear power plant