DIPES 2000: Schloß Eringerfeld, Germany

Methodology I

Architecture

Design Environments

Methodology II

Test and Validation

Distribution and Communication

Synthesis

a service of Schloss Dagstuhl - Leibniz Center for Informatics