Abstraction Techniques for Compositional State-Based Scheduling Analysis.

Tayfun Gezgin Stefan Henkler Achim Rettberg Ingo Stierand

Published in: SBESC (2012)

Keyphrases

real time
high level
image processing
three dimensional
objective function
data analysis
special case
quantitative analysis