Login / Signup

BTestBox: A Tool for Testing B Translators and Coverage of B Models.

Diego de Azevedo OliveiraValério Medeiros Jr.David DéharbeMartin A. Musicante
Published in: TAP@FM (2019)
Keyphrases
  • data sets
  • social networks
  • real time
  • databases
  • learning algorithm
  • e learning
  • case study
  • probabilistic model
  • machine learning algorithms
  • machine translation
  • conceptual model
  • software tools
  • modeling tool