Sign in
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude.
Jonas Eckhardt
Tobias Mühlbauer
José Meseguer
Martin Wirsing
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
formal analysis
cooperative
distributed systems
information systems
semantic information
expert systems
lightweight
bayesian networks
multi agent
probabilistic model
software engineering
distributed environment
specification language