IESS 2007: Irvine, CA, USA

Validation and Verification

Automotive Applications

Hardware Synthesis

Specification and Partitioning

Design Methodologies

Embedded Software

Network on Chip

Medical Applications

Distributed and Network Systems

Panel

Tutorials

maintained by Schloss Dagstuhl LZI at University of Trier