Login / Signup
Research on Detection and Safety Analysis of Unfavorable Geological Bodies Based on OCTEM-PHA.
Tao Zhu
Jian Hua Hu
Guanping Wen
Tan Zhou
Published in:
Remote. Sens. (2023)
Keyphrases
</>
safety analysis
safety critical
control system
nuclear power plant
real time
symbolic model checking
fault model
expert systems