index - 12th European Workshop on Dependable Computing Access content directly

Special theme: Software Verification and Assessment

EWDC is intended to serve as a biennial forum of discussion for European researchers and practitioners, alternatively with the EDCC (European Dependable Computing Conference) conference.

The 2009 issue of EWDC focuses on software verification and assessment, which encompasses all activities to provide evidence of the dependability and security of software artefacts. Twenty-four regular and short papers were accepted for presentation at the workshop, with authors originating from 12 European countries.

The workshop program features 7 technical sessions:
For more information about this workshop, please download the Front Matter.

LAAS-CNRS SEE-AICA-GI NoE ReSIST Departement Haute-Garonne Region Midi-Pyrenees UPS GDR GPL