STATE - A SystemC to Timed Automata Transformation Engine.

Paula Herber Marcel Pockrandt Sabine Glesner

Published in: HPCC/CSS/ICESS (2015)

Keyphrases

timed automata
state space
data sets
model checking
real world
image processing
bayesian networks
data structure
linear transformation
transformation rules