Login / Signup
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations.
Hela Guesmi
Belgacem Ben Hedia
Mathieu Jan
Simon Bliudze
Saddek Bensalem
Published in:
RTAS (2016)
Keyphrases
</>
high level
low level
statistical model
complex systems
transformation models
lower level
statistical models
real world
higher level
probabilistic model
data structure
bayesian networks
low level features
efficient implementation
mathematical models
database systems
autoregressive
intermediate level
e learning