![](/img/cover-not-exists.png)
A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation
Amato, Flora, De Paola, Francesco, Diomaiuta, Crescenzo, Giugni, Maurizio, Mazzocca, Nicola, Moscato, FrancescoVolume:
51
Year:
2015
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2015.05.323
File:
PDF, 1.55 MB
english, 2015