ISSS 1997: Antwerp, Belgium

Formal Specification and Validation

Fast Prototyping and Code Generation

Novel Compilation and Optimization Issues

Memory Management Issues

System-Level Synthesis and Design

HW/SW Specification and Debugging

a service of Schloss Dagstuhl - Leibniz Center for Informatics