Verification and Diagnosis of Digital Systems by Termary Reasoning.
Ayman M. WahbaEinar J. AasPublished in: CHARME (1993)
Keyphrases
- reasoning systems
- diagnostic systems
- knowledge representation
- model based diagnosis
- reason maintenance
- model based reasoning
- complex systems
- building blocks
- expert systems
- computer systems
- description logics
- formal methods
- fuzzy logic
- causal reasoning
- management system
- discrete event systems
- asynchronous circuits
- knowledge representation systems
- information systems