Login / Signup
The system verification methodology for advanced TLM verification.
Marcio F. da S. Oliveira
Christoph Kuznik
Hoang Minh Le
Daniel Große
Finn Haedicke
Wolfgang Müller
Rolf Drechsler
Wolfgang Ecker
Volkan Esen
Published in:
CODES+ISSS (2012)
Keyphrases
</>
model checking
formal analysis
high security
website
feature extraction
face verification
concurrent systems
real time
verification method
asynchronous circuits
fingerprint verification
formal verification
multiscale
three dimensional
decision making
computer vision
data mining
neural network