A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation

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]

Authors

Flora Amato

This author has not been identified. Look up 'Flora Amato' in Google

Francesco De Paola

This author has not been identified. Look up 'Francesco De Paola' in Google

Crescenzo Diomaiuta

This author has not been identified. Look up 'Crescenzo Diomaiuta' in Google

Maurizio Giugni

This author has not been identified. Look up 'Maurizio Giugni' in Google

Nicola Mazzocca

This author has not been identified. Look up 'Nicola Mazzocca' in Google

Francesco Moscato

This author has not been identified. Look up 'Francesco Moscato' in Google