Login / Signup
Combining functional and structural reasoning for safety analysis of electrical designs.
Chris J. Price
Neal Snooke
D. R. Pugh
John E. Hunt
Myra S. Wilson
Published in:
Knowl. Eng. Rev. (1997)
Keyphrases
</>
safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
knowledge base
knowledge representation
real time
model based diagnosis
reliability analysis