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