Interpretazione astratta e analisi di immagini: Analisi di immagini con metodi formali

Proposta di tesi

Interpretazione astratta e analisi di immagini: Analisi di immagini con metodi formali

Garante
Roberto Giacobazzi
Corso di studi
Laurea in Informatica (vecchio ordinamento)

Descrizione

Tesi di ricerca applicata alla utilizzazione di tecniche per l'analisi statica di programmi all'analisi
di immagini 3D. Tesi in collaborazione con il Prof. V. Murino

Offerta formativa

Condividi