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

maintained by Schloss Dagstuhl LZI at University of Trier