Login / Signup
On-line detection of logic errors due to crosstalk, delay, and transient faults.
Cecilia Metra
Michele Favalli
Bruno Riccò
Published in:
ITC (1998)
Keyphrases
</>
error detection
automatic detection
fault diagnosis
detection algorithm
false alarms
detection method
detection accuracy
object detection
classical logic
modal logic
proof theory
knowledge base
logical framework
correlation analysis
model based diagnosis
steady state
anomaly detection
expert systems