FM 2005: Newcastle upon Tyne, UK

Keynote Talks

Object Orientation

Resource Analysis and Verification

Timing and Testing

CSP, B and Circus


Networks and Processes

Abstraction, Retrenchment and Rewriting

Scenarios and Modeling Languages

Model Checking

Industry Day: Abstracts of Invited Talks

a service of Schloss Dagstuhl - Leibniz Center for Informatics