9th ICFEM 2007: Boca Raton, FL, USA

Invited Talks

Security and Knowledge

Embedded Systems

Testing

Automated Analysis

Hardware

Concurrency

a service of Schloss Dagstuhl - Leibniz Center for Informatics