A model driven approach to water resource analysis based on formal methods and model transformation / Amato, Flora; DE PAOLA, Francesco; Diomiaiuta, C.; Giugni, Maurizio; Mazzocca, Nicola; Moscato, F.. - In: PROCEDIA COMPUTER SCIENCE. - ISSN 1877-0509. - 51:(2015), pp. 562-571. (Intervento presentato al convegno International Conference On Computational Science, ICCS 2015 — Computational Science at the Gates of Nature tenutosi a Reykjavik (Iceland) nel 1-3 Giugno 2015) [10.1016/j.procs.2015.05.323].
A model driven approach to water resource analysis based on formal methods and model transformation
AMATO, FLORA;DE PAOLA, FRANCESCO;GIUGNI, MAURIZIO;MAZZOCCA, NICOLA;
2015
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
