Francesco MOSCATO | Publications
Francesco MOSCATO Publications
| 2015 | |
| Articolo in rivista | |
| A Model Driven Approach to Data Privacy Verification in E-Health Systems TRANSACTIONS ON DATA PRIVACY. Vol. 8. Pag.273-296 ISSN:1888-5063. | |
| Moscato, Francesco; Amato, F. | |
| Versione online | |
| Codice identificativo ISI: WOS:000366902200003 Codice identificativo SCOPUS: 2-s2.0-84949775424 | |
| Show it in Product Database (IRIS) |
221799A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation
| 2015 | |
| Articolo in rivista | |
| A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation PROCEDIA COMPUTER SCIENCE. Vol. 51. Pag.562-571 ISSN:1877-0509. | |
| Moscato, Francesco; Amato, F; De Paola, F; Diomaiuta, C; Giugni, M; Mazzocca, N. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.procs.2015.05.323 Codice identificativo ISI: WOS:000373939100057 Codice identificativo SCOPUS: 2-s2.0-84939164116 | |
| Show it in Product Database (IRIS) |
| 2015 | |
| Articolo in rivista | |
| Exploiting Model Profiles in Requirements Verification of Cloud Systems INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING AND NETWORKING. Vol. 8. Pag.259-274 ISSN:1740-0562. | |
| Moscato, Francesco | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1504/IJHPCN.2015.071258 Codice identificativo SCOPUS: 2-s2.0-84940394110 | |
| Show it in Product Database (IRIS) |
