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