ISoLA 2007: Poitiers-Futuroscope, France

Invited Talks

Scheduling

Performance Analysis

Model Checking

Formal Modelling

Refinement / Abstraction Methods

Real Time

Testing

maintained by Schloss Dagstuhl LZI at University of Trier