1. ESSoS 2009: Leuven, Belgium

Refine list

showing all ?? records

Policy Verification and Enforcement

Model Refinement and Program Transformation

Secure System Development

Attack Analysis and Prevention

Testing and Assurance

a service of  Schloss Dagstuhl - Leibniz Center for Informatics