ISoLA 2007: Poitiers-Futuroscope, France

Invited Talks

Scheduling

Performance Analysis

Model Checking

Formal Modelling

Refinement / Abstraction Methods

Real Time

Testing

a service of Schloss Dagstuhl - Leibniz Center for Informatics