Login / Signup
Reactive embedded device driver synthesis using logical timed models.
Julien Tanguy
Jean-Luc Béchennec
Mikaël Briday
Olivier H. Roux
Published in:
SIMULTECH (2014)
Keyphrases
</>
databases
probabilistic model
petri net
machine learning
computer vision
bayesian networks
machine learning algorithms
process model
statistical model
statistical models
computational models