DIPES 1998: Schloß Eringerfeld, Germany

Formalisms for Embedded System Design

Synthesis from Synchronous / Asynchronous Specification

Partitioning and Load-Balancing

Verification and Validation

Design Environments

Object Oriented Approaches