Supporto alla discussione, comprensione, raccolta e prioritizzazione dei requisiti del nuovo software aziendale di digital-twin di ingegneria ambientale per la moderazione, simulazione e previsione di fenomeni fisici rilevanti per le risorse idriche.
Aree di ricerca coinvolte dal progetto | |
---|---|
Sicurezza informatica
Formal methods and theory of security (DI) |
|
Ingegneria del Software e verifica formale
Formal methods and theory of security (DI) |
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>