Transforming SystemC Transaction Level Models into UPPAAL timed automata.

Paula Herber Marcel Pockrandt Sabine Glesner

Published in: MEMOCODE (2011)

Keyphrases

timed automata
model checking
complex systems
database
probabilistic model
natural language
data sets
neural network
expert systems
state space
statistical models
test bed
real time database systems
reachability analysis