Login / Signup

Using formal models to cross check an implementation.

Raquel OliveiraSophie Dupuy-ChessaGaëlle CalvaryDaniele Dadolle
Published in: EICS (2016)
Keyphrases
  • formal models
  • rule based systems
  • formal model
  • efficient implementation
  • data sets
  • computer vision
  • decision making
  • website
  • database systems
  • relational databases
  • artificial neural networks
  • process model