Research of reusability based on UVM verification.

Wei Ni Jichun Zhang

Published in: ASICON (2015)

Keyphrases

model checking
e learning
design patterns
face verification
database
real world
search engine
decision making
multi agent
multiresolution
software architecture
formal analysis
formal verification
person identification
verification method
adaptive educational hypermedia systems