Aree – Software and its engineering

Software and its engineering   aderente allo standard  ACM 2012

Software creation and management
Code synthesis - Software creation and management - Verifica del software
Software organization and properties
Quantitative Static Analysis - Static Analysis - Verification of wireless networks protocols


Attività

Strutture