IIT Home Page CNR Home Page

Secure System Synthesis

Attività

Metodi formali per la sicurezza di sistemi ICT

Questa attività di ricerca riguarda lo studio, il progetto e lo sviluppo di modelli, metodologie e strumenti software per l’analisi, la validazione, la verifica e la simulazione di aspetti di

Persone

Ilaria Matteucci

Foto di Ilaria Matteucci