Combinatorial abstraction refinement for feasibility analysis of static priorities.

Martin Stigge Wang Yi

Published in: Real Time Syst. (2015)

Keyphrases

high level
preprocessing
probability distribution
dynamic analysis
database systems
data structure
data analysis
hidden markov models