Results

Found results 1

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

Consultabile THANGARAJ KALAISELVAN, AUTOMATIC GENERATION OF FORMAL SPECIFICATIONS USING ONTOLOGY FOR VERIFICATION OF CNN BASED OBJECT DETECTION MODULES, Rel. FONTANELLI DANIELE, AA 2023/2024
Author: THANGARAJ KALAISELVAN
Title: 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
Academic year: 2023/2024
Course: Corso di Laurea Magistrale - Mechatronics Engineering [0344H]
Struttura didattica: Interfacoltà Rovereto
Formato: digitale
Shelfmark: 0344H-43
Richiedi la consultazione

New search