11th FDL 2008: Stuttgart, Germany

Part I / Model-Based System Specification Languages

Part II / Languages for Heterogeneous System Design

Part III / Digital Systems Design Methodologies Based on C++

Part IV / Verification and Requirements Evaluation

a service of Schloss Dagstuhl - Leibniz Center for Informatics