7. ICFEM 2005: Manchester, UK

Invited Talks

Specification

Modelling

Security

Communication

Development

Testing

Verification

Tools