C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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