Next:
Technical Coordination -
Up:
A Project Description: ESPRIT
Previous:
Introduction
Work Plan
Technical Coordination - Oxford
Requirements Engineering - Lyngby
Specification and design of real-time systems.
Dependability.
Case Studies.
Design - Oldenburg
Specification Language.
Design Calculus.
Mechanical support.
Compilation - Kiel
Programming language design.
Machine language design.
Compiler design.
Verification support.
Hardware - Oxford