Keyphrases
- virtual reality
- model checking
- sensitivity analysis
- signature verification
- verification method
- simulation environment
- numerical methods
- functional verification
- concurrent systems
- fingerprint verification
- formal verification
- numerical data
- neural network
- qualitative and quantitative
- information retrieval systems
- case study
- feature selection