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

Browse the full ICCS paper archive.