Verifica Processi Concorrenti 12-13
Corso di verifica dei sistemi, con particolare attenzione alla verifica via modellazione e alle tecniche di model-checking
Teacher: Donatelli Susanna
Reti II 2012-13
Reti di Elaboratori 2 (RdE II) è un corso sui protocolli applicativi di Internet, ma anche su argomenti di internetworking che costituiscono un secondo corso rispetto a Reti di Elaboratori 1 (RdE) della laurea triennale di Sistemi e Reti.
Teacher: Sirovich Franco