10. EMSOFT 2010: Scottsdale, Arizona, USA

Verification & synthesis

Applications & tools

Scheduling & optimization

Automotive & wireless sensor networks

Flash memory

Distribution & event graphs

Model-based design & patterns

Scheduling & control

Tutorials

a service of Schloss Dagstuhl - Leibniz Center for Informatics