Login / Signup

Functional safety analysis and promotion for relay protection device platform.

Hualiang ZhouZhiyang ZouYu XiaYoujun Li
Published in: IEEA (2019)
Keyphrases
  • safety analysis
  • nuclear power plant
  • control system
  • safety critical
  • fault model
  • symbolic model checking
  • expert systems
  • model checking