Sign in
The bidirectional safety analysis & validation framework of system and software with its techniques and applications.
Haifeng Li
Chang Liu
Huancheng 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