search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Testbenches for advanced TLM verification.

Wolfgang Müller Wolfgang Ecker

Published in: CODES+ISSS (2012)

Keyphrases

database
formal verification
machine learning
face recognition
objective function
optimal solution
artificial neural networks
wireless sensor networks
face verification
formal analysis
verification method
concurrent systems