C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Embedded software verification: challenges and solutions.
Chao Wang
Malay K. Ganai
Shuvendu K. Lahiri
Daniel Kroening
Published in:
ICCAD (2008)
Keyphrases
</>
lessons learned
key issues
special case
neural network
real world
embedded systems
data mining
machine learning
case study
optimal solution
scheduling problem
feasible solution
solution space
benchmark problems
watermarking algorithm
practical solutions