Domini astratti per l'analisi di sistemi real-time

theses proposal

Domini astratti per l'analisi di sistemi real-time

Guarantor: Roberto Giacobazzi
Study courses: Bachelor in Computer Science (old system)

Description

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