Login / Signup

Transforming VHDL descriptions into formal component-based models.

Ayoub NouriRahma Ben AtitallahAnca MolnosChristian FabreFrédéric HeitzmannOlivier 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