Aree – Software and its engineering

Software and its engineering   aderente allo standard  ACM 2012

Software creation and management
Sintesi di codice - Software creation and management - Verifica del software
Software organization and properties
Analisi statica - Quantitative Static Analysis - Verification of wireless networks protocols


Attività

Strutture

Condividi