Risultati

Risultati trovati 1

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

Consultabile THANGARAJ KALAISELVAN, AUTOMATIC GENERATION OF FORMAL SPECIFICATIONS USING ONTOLOGY FOR VERIFICATION OF CNN BASED OBJECT DETECTION MODULES, Rel. FONTANELLI DANIELE, AA 2023/2024
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

Nuova ricerca