20. RSP 2009: Paris, France

Formal Methods, Synthesis & Quality Assurance

Communication Aspects

Prototyping Methodology

Hardware Modeling

Performance Optimization

Automotive & Industrial Applications