FM 2005: Newcastle upon Tyne, UK

Refine list

showing all ?? records

Keynote Talks

Object Orientation

Resource Analysis and Verification

Timing and Testing

CSP, B and Circus

Security

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