DIPES 2004: Toulouse, France

part of IFIP World Congress 2004

Modelling and Specification

Verification and Analysis

Fault Detection and Toleration

Automotive and Mechatronic Systems Design

Networks and Communication

Scheduling and Resource Management

Hardware Architectures and Synthesis

Design Space Exploration

Design Methodologies and User Interfaces

Short Papers