Integrating Maude into Hets.

Mihai Codescu Till Mossakowski Adrián Riesco Christian Maeder

Published in: AMAST (2010)

Keyphrases

formal specification
data sets
databases
search engine
image segmentation
feature extraction
data analysis
image analysis