Timed automata based analysis of embedded system architectures.

Martijn Hendriks Marcel Verhoef

Published in: IPDPS (2006)

Keyphrases

data sets
trade off
image analysis
databases
data mining
high level
wide range
data streams