Analyzing Flowgraphs with ATL.

Valerio Cosentino Massimo Tisi Fabian Büttner

Published in: TTC (2013)

Keyphrases

multi agent systems
neural network
database
machine learning
image sequences
model checking
high dimensional