SEUS 2010: Waidhofen/Ybbs, Austria

Invited Program

Hardware

Real-Time Systems

Model-Based Design and Model-Checking

Sensor Nets

Error Detection and System Failures

Hard Real-Time

Middleware and Smart Spaces

Function Composition and Task Mapping

maintained by Schloss Dagstuhl LZI, founded at University of Trier