Domini astratti per l'analisi di sistemi real-time

Proposta di tesi

Domini astratti per l'analisi di sistemi real-time

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

Descrizione

Tesi di ricerca di base sulla integrazione tra strutture matematiche per il real-time (tempo continuo e
discreto) e la struttura dei domini astratti