8th MEMOCODE 2010: Grenoble, France

Invited Talk 1

Design and Design Methodologies

Verification Techniques

Design Contest

Verification Methods for System C

Tutorial 1

Tutorial 2

Invited Talk 3

Design Languages

Model Transformations and Tranformation Validation

a service of Schloss Dagstuhl - Leibniz Center for Informatics