Login / Signup

A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems.

Sanghyun YoonJae Yeon JoJunbeom Yoo
Published in: SSIRI (Companion) (2011)
Keyphrases
  • safety analysis
  • domain specific
  • safety critical
  • nuclear power plant
  • control system
  • real time
  • symbolic model checking
  • artificial intelligence
  • distributed systems
  • domain independent
  • fault model
  • knowledge base