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. Combining functional and structural reasoning for safety analysis of electrical designs. Knowledge Eng. Review, 12(3):271-287, 1997. [doi]

Abstract

Abstract is missing.