Formal Analysis of Multiple-Cell Upset Failure Based on Common Cause Failure Theory.

Qi Shao Shunkun Yang Xiaodong Gou

Published in: IEEE Trans. Reliab. (2021)

Keyphrases

formal analysis
formal methods
theoretical framework
success or failure
failure prediction
information systems
failure rate
genetic algorithm
computational model
root cause
failure modes