27. FORTE 2007: Tallinn, Estonia

Invited Talk

Technical Session 1. Message Sequence Charts and SDL

Technical Session 2. Concurrency

Technical Session 3. Model Programs

Technical Session 4. Theory

Technical Session 5. Verification

Technical Session 6. Model Checking

Technical Session 7. Requirements and QoS

Technical Session 8. Components

a service of Schloss Dagstuhl - Leibniz Center for Informatics