A Case Study Using SAM - Safety Analysis of PES.

John Alexander McDermid Shaoying Liu

Published in: APSEC (1996)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
neural network
artificial intelligence
cooperative
reliability analysis
real time
fuzzy logic
model checking