Sign in

MUnit: A Unit Framework for Maude.

Adrián Riesco
Published in: WRLA@ETAPS (2018)
Keyphrases
  • databases
  • real world
  • probabilistic model
  • main contribution
  • computational framework
  • database
  • genetic algorithm
  • search engine
  • website
  • three dimensional
  • theoretical framework
  • bayesian framework
  • framework enables