Keyphrases
- fault diagnosis
- fault detection
- formal verification
- model checking
- model based diagnosis
- databases
- test cases
- information systems
- neural network
- verification method
- wavelet transform
- multiresolution
- genetic algorithm
- formal methods
- database
- person identification
- asynchronous circuits
- high security
- concurrent systems
- multiple faults