FME 2003: Pisa, Italy

Invited Speakers

I-Day

Control Systems and Industrial Applications

Communications System Verification

Co-specification and Compilers

Composition

Java, Object Orientation and Modularity

Model Checking

Parallel Process

Program Checking and Testing

B Method

Security