PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Keyword: SICUREZZA, MODELLI, STRUMENTI DI ANALISI

azienda TESI AZIENDA esteroTESI ALL'ESTERO Costruzione di una libreria di protocolli crittografici verificati  SISTO RICCARDO  FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Definizione di metodologie e sviluppo di strumenti per l'analisi e la verifica di proprietà di sicurezza di reti industriali  DURANTE LUCA  IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
Plugin Eclipse per la verifica dei requisiti  SISTO RICCARDO  FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP  NETGROUP
Problemi di radioprotezione dovuti all'esposizione a radiazioni ionizzanti. Sicurezza e analisi ambientale  ZUCCHETTI MASSIMO
RETI DI TERRA E COMPORTAMENTO IN CASO DI FULMINAZIONE  FRESCHI FABIO  TARTAGLIA MICHELE  SSD Ing-Ind/31 Elettrotecnica
Studio sperimentale sulla stabilità delle pile di ponte in alvei fluviali  MANES COSTANTINO  POGGI DAVIDE
Sviluppo Model-based di applicazioni security-aware in Java  SISTO RICCARDO  FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Sviluppo di metodologie e strumenti per la security e la safety di Infrastrutture Informatiche Critiche  DURANTE LUCA  IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
azienda TESI AZIENDA Valutazione qualitativa/quantitativa della sicurezza di un sistema complesso: La gestione della distribuzione del farmaco e dei dispositivi medici in un contesto metropolitano  CESTINO ENRICO  FRULLA GIACOMO  21-Progetto di velivoli e strutture aerospaziali in materiale composito
azienda TESI AZIENDA Valutazione qualitativa/quantitativa della sicurezza di un sistema complesso: La gestione della distribuzione del farmaco e dei dispositivi medici in un contesto metropolitano  CESTINO ENRICO  21-Progetto di velivoli e strutture aerospaziali in materiale composito