Symbolic state traversal for WCET analysis.

Stephan Wilhelm Björn Wachter

Published in: EMSOFT (2009)

Keyphrases

image analysis
neural network
data analysis
database
computer vision
significant improvement
real time
search space
tree structure
automatic analysis