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