Flora Amato, Francesco De Paola, Crescenzo Diomaiuta, Maurizio Giugni, Nicola Mazzocca, Francesco Moscato. A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation. In Slawomir Koziel, Leifur Þ. Leifsson, Michael Lees, Valeria V. Krzhizhanovskaya, Jack Dongarra, Peter M. A. Sloot, editors, Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjavík, Iceland, 1-3 June, 2015, 2014. Volume 51 of Procedia Computer Science, pages 562-571, Elsevier, 2015. [doi]
Abstract is missing.