Safety Analysis and Prediction for Transmission Tower Construction.

Wenkai Gong Qi Wei Yuan Liu Yunfei Zeng Zhenyu Jiang Zhichi Lin Fan Gan

Published in: ICDL (2023)

Keyphrases

safety analysis
nuclear power plant
control system
symbolic model checking
fault model
safety critical
model checking