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