Risultati trovati 1 Dati completi Dati sinteticiClicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo. |
Consultabilità delle tesi
|
![]()
Autore:
THANGARAJ KALAISELVAN
Titolo: AUTOMATIC GENERATION OF FORMAL SPECIFICATIONS USING ONTOLOGY FOR VERIFICATION OF CNN BASED OBJECT DETECTION MODULES Relatore: FONTANELLI DANIELE Correlatore: ROVERI MARCO Relatore Esterno: POOVALINGAM VIVEK Anno accademico: 2023/2024 Corso: Corso di Laurea Magistrale - Mechatronics Engineering [0344H] Struttura didattica: Interfacoltà Rovereto Formato: digitale Segnatura: 0344H-43 Richiedi la consultazione |