Login / Signup
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.
Gee-Yong Park
Jang-Soo Lee
Se Woo Cheon
Kee-Choon Kwon
Eunkyoung Jee
Kwang Yong Koh
Published in:
SAFECOMP (2007)
Keyphrases
</>
safety critical
safety analysis
formal methods
nuclear power plant
fault tolerant
embedded systems
agent architecture
control system
support systems
adaptive systems
fault model
low cost
real time
distributed systems
symbolic model checking