| Corso Aarhus | Corso UNINA | Approvato da | Quando |
|---|
Optimization + Combinatorial Search (due corsi da 5) | Ricerca Operativa e Ottimizzazione Combinatoria |
Festa | 2010 |
| Advanced Topics in Software Architecture | Ingegneria del Software II |
Di Martino | 2010 |
| Coloured Petri Nets 1 & 2 (2 corsi da 5) | Tecniche di Verifica |
Benerecetti | 2010 |