Found results 1 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
|
![]()
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 |