Login / Signup
An approach to address probabilistic assumptions on the availability of safety systems for deterministic safety analysis.
Sebastián Martorell
P. Martorell
Isabel Martón
Ana Isabel Sánchez
Sofía Carlos
Published in:
Reliab. Eng. Syst. Saf. (2017)
Keyphrases
</>
safety analysis
safety critical
nuclear power plant
control system
formal methods
fault model
symbolic model checking
complex systems
embedded systems
learning systems
fault tolerant
reliability analysis
low cost