The SynchAADL2Maude Tool.

Kyungmin Bae Peter Csaba Ölveczky José Meseguer Abdullah Al-Nayeem

Published in: FASE (2012)

Keyphrases

bayesian networks
data mining
case study
relational databases
trade off
databases
learning algorithm
image segmentation
multi agent
medical images
user friendly