DIPES 2002: Montréal, Québec, Canada

part of IFIP World Congress 2002

Modelling and Specification

Specification and Analysis

Verification and Validation

Fault Tolerance and Detection

Middleware and Reuse

Timing and Performance Analysis

Partitioning and Scheduling

Communication and Application

Design Methods and Frameworks