Login / Signup
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation.
Flora Amato
Francesco M. De Paola
Crescenzo Diomaiuta
Maurizio Giugni
Nicola Mazzocca
Francesco Moscato
Published in:
ICCS (2015)
Keyphrases
</>
formal methods
formal analysis
probabilistic model
computational model
process algebra
petri net
mathematical model
databases
data mining
artificial intelligence
high level
database systems
objective function
fine grained
metamodel
agent model