//-->
Software dependability models under memory faults with application to a digital system in nuclear power plants
Choi, J.G., (1998)
Diagnostic Entropy: A Quantitative Measure of the Effects of Signal Incompleteness on System Diagnosis
Seong, P.H., (1994)
Quantitative Evaluation of Safety-critical Software at the Early Development Stage: An Interposing Logic System Software Example
Son, H.S., (1995)