IIT Home Page CNR Home Page

Critical infrastructures

Tematiche di ricerca

Trustworthy and Secure Future Internet

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

Fabio Martinelli

Foto di Fabio Martinelli