5. EMSOFT 2005: Jersey City, New Jersey, USA

Refine list

showing all ?? records

Communication and devices

Modeling

Languages

Panel

Scheduling

Optimization

Design methodologies

Specification and semantics

Compilation and power

Clocks and energy

Formal methods

Software testing

Specification and dynamic properties

Real time properties

Panel

a service of  Schloss Dagstuhl - Leibniz Center for Informatics