Decisioni su Dependable and secure systems

Storico decisioni
Aggiornamento
Bernardeschi: "L'appello straordinario รจ a Novembre". The next extraordinary call will be in November.
20/03/2026
The extraordinary call has been published on Valutami. The call is open to everyone.
17/10/2025
An extraordinary call will be held for the old exam "Formal Methods for Secure Systems" (code: 909II). Same rules (project's discussion + oral examination). Projects of the last year. The call will be open to everyone!
04/02/2025