ITA | ENG
PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Keyword: SICUREZZA, MODELLI, STRUMENTI DI ANALISI

azienda TESI AZIENDA esteroTESI ALL'ESTERO Building a Verified Cryptographic Protocol Library  SISTO RICCARDO  FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Development of methodologies and tools for the security and safety of ICT Critical Infrastructures  DURANTE LUCA  IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
Development of methodologies and tools for the verification and analysis of security and safety properties of industrial networks  DURANTE LUCA  IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
Eclipse plugin for Requirements Verification  SISTO RICCARDO  FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP  NETGROUP
GROUNDING GRIDS: BEHAVIOR IN CASE OF LIGHTNING  FRESCHI FABIO  TARTAGLIA MICHELE  SSD Ing-Ind/31 Elettrotecnica
Model-based development of security-aware applications in Java  SISTO RICCARDO  FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
azienda TESI AZIENDA Qualitative / quantitative assessment of the safety of a complex system: the management of Pharmaceutical Distribution and medical devices in a metropolitan context  CESTINO ENRICO  FRULLA GIACOMO  21-Progetto di velivoli e strutture aerospaziali in materiale composito
azienda TESI AZIENDA Qualitative / quantitative assessment of the safety of a complex system: the management of Pharmaceutical Distribution and medical devices in a metropolitan context  CESTINO ENRICO  21-Progetto di velivoli e strutture aerospaziali in materiale composito
Safety and environmental impact of radioactive isotopes.  ZUCCHETTI MASSIMO
Studio sperimentale sulla stabilità delle pile di ponte in alvei fluviali  MANES COSTANTINO  POGGI DAVIDE