MUnit: A Unit Framework for Maude.

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