A Logical Fault Model for Library Coherence Checking.

Shing-Wu Tung Jing-Yang Jou

Published in: J. Inf. Sci. Eng. (1998)

Keyphrases

fault model
safety analysis
fault injection
model based diagnosis