METODI DI INTELLIGENZA ARTIFICIALE E DI VERIFICA FORMALE PER LA GESTIONE DEI RISCHI E DELLA COMPLIANCE NELLE IMPRESE

PICCOLO, MICHELE
2024/2025

2024
ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION METHODS FOR RISK AND COMPLIANCE MANAGEMENT IN COMPANIES
File in questo prodotto:
File Dimensione Formato  
tesi_michele_piccolo_finale.pdf

File consultabile da postazioni biblioteca

Descrizione: Tesi finale per il conseguimento della Laurea Triennale in Ingegneria Informatica e dell’Automazione, A.A. 2024/2025.
Dimensione 2.06 MB
Formato Adobe PDF
2.06 MB Adobe PDF

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14253/65223