Login / Signup
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