Assertion based verification in TLM.

Amirali Ghofrani Fatemeh Javaheri Zainalabedin Navabi

Published in: EWDTS (2010)

Keyphrases

database
information systems
artificial intelligence
hidden markov models
face verification
real time
databases
data mining
image processing
case study
objective function
digital libraries
digital images
model checking
formal analysis
verification method