Login / Signup
Reactor Containment Dependability Analysis in Safety Critical Nuclear Power Plants: Design, Implementation and Experience.
Chi-Shiang Cho
Wei-Ho Chung
Deyun Gao
Hongke Zhang
Sy-Yen Kuo
Published in:
ICPADS (2011)
Keyphrases
</>
safety critical
nuclear power plant
safety analysis
formal methods
embedded systems
regulatory requirements
fault tolerant
support systems
agent architecture
adaptive systems
low cost
control method
decision making
object oriented
condition monitoring