C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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