Login / Signup
Transforming VHDL descriptions into formal component-based models.
Ayoub Nouri
Rahma Ben Atitallah
Anca Molnos
Christian Fabre
Frédéric Heitzmann
Olivier Debicki
Published in:
RSP (2016)
Keyphrases
</>
statistical models
real time
real world
artificial intelligence
database
data sets
image processing
graphical models
model selection
parameter estimation
neural network model
formal model