Login / Signup

Towards complete consistency checks of Clafer models.

Markus WeckesserMalte LochauMichael RiesAndy Schürr
Published in: FOSD (2017)
Keyphrases
  • consistency checks
  • probabilistic model
  • experimental data
  • real time
  • complex systems
  • image segmentation
  • artificial neural networks
  • accurate models