Validation of embedded system verification models.

Jelena Marincic Angelika Mader Roel J. Wieringa

Published in: MoDRE (2011)

Keyphrases

statistical models
image processing
model validation
expert systems
statistical model
genetic algorithm
video sequences
search algorithm
prior knowledge
markov chain
model checking