Login / Signup
Formal Analysis of Coupling Hypothesis for Logical Faults.
Kalpesh Kapoor
Published in:
Innov. Syst. Softw. Eng. (2006)
Keyphrases
</>
formal analysis
fault diagnosis
fault detection
formal methods
model based diagnosis
ban logic
hypothesis space
agent model
multiple faults
databases
neural network
artificial intelligence
similarity search
test cases
logical structure
logical operations