4. FTRTFT 1996: Uppsala, Sweden

Invited Lectures

Selected Presentations

State Charts

Timed Automata

Duration Calculus

Case Studies

Scheduling

Fault Tolerance

Model Checking

Specification

Verification

Tools Demonstration

maintained by Schloss Dagstuhl LZI at University of Trier