-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Laura Nenzi
2022-01-01
Abstract
-File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
978-3-031-21222-2.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Copyright Editore
Dimensione
4.4 MB
Formato
Adobe PDF
|
4.4 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
978-3-031-21222-2-Post_print.pdf
Open Access dal 17/12/2023
Tipologia:
Bozza finale post-referaggio (post-print)
Licenza:
Digital Rights Management non definito
Dimensione
4.23 MB
Formato
Adobe PDF
|
4.23 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.