Meta SOS - A Maude Based SOS Meta-Theory Framework.

Luca Aceto Eugen-Ioan Goriac Anna Ingólfsdóttir

Published in: EXPRESS/SOS (2013)

Keyphrases

meta level
theoretical framework
probabilistic model
real world
conceptual framework
general theory
main contribution
framework enables
neural network
decision making