Compositional analysis of deadlock-freedom for tree-like component architectures.

Mila E. Majster-Cederbaum Moritz Martens

Published in: EMSOFT (2008)

Keyphrases

real time
statistical analysis
quantitative analysis
multiscale
tree structure
database
data mining
decision trees
case study
multiresolution
multi dimensional