20th RSP 2009: Paris, France

Formal Methods, Synthesis & Quality Assurance

Communication Aspects

Prototyping Methodology

Hardware Modeling

Performance Optimization

Automotive & Industrial Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics