Distributed Applications Implemented in Maude with Parameterized Skeletons.

Adrián Riesco Alberto Verdejo

Published in: FMOODS (2007)

Keyphrases

databases
information retrieval
formal specification
data mining
artificial intelligence
case study
high level
object recognition
shape analysis