Enhancing Structured Review with Model-Based Verification.
Issa TraoréDemissie B. AredoPublished in: IEEE Trans. Software Eng. (2004)
Keyphrases
- model checking
- literature review
- real world
- formal verification
- formal methods
- structured data
- false acceptance
- verification method
- artificial intelligence
- expert systems
- distributed systems
- face recognition
- database systems
- three dimensional
- face verification
- decision making
- formal analysis
- person identification
- neural network
- database