• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Safety Analysis and Prediction for Transmission Tower Construction.

Wenkai GongQi WeiYuan LiuYunfei ZengZhenyu JiangZhichi LinFan Gan
Published in: ICDL (2023)
Keyphrases
  • safety analysis
  • nuclear power plant
  • control system
  • symbolic model checking
  • fault model
  • safety critical
  • model checking