Keyphrases
- control system
- industrial automation
- industrial applications
- model checking
- verification method
- critical infrastructure
- fault detection and isolation
- face verification
- industrial processes
- high assurance
- industrial environment
- safety analysis
- fingerprint verification
- quality improvement
- formal verification
- formal analysis
- formal methods
- fuzzy logic
- high security
- information security
- virtual environment
- information systems
- learning algorithm
- database