Aree – Software and its engineering

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. Software and its engineering

Software and its engineering   aderente allo standard  ACM 2012

Software creation and management
Blockchain and smart contracts - Sintesi di codice - Software creation and management - Software Testing
Software organization and properties
Analisi statica - Quantitative Static Analysis - Verification of wireless networks protocols

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi