2nd ACSD 2001: Newcastle upon Tyne, UK

Invited Talks

Performance Issues

Asynchronous Communication

Refinement Issues

Object-Oriented Approach

Codesign and Embedded Systems

Asynchronous Circuits

Verification and Testing

Petri Net Synthesis

maintained by Schloss Dagstuhl LZI, founded at University of Trier