ADVANCE Workpackages
- WP1 Dynamic Trusted Railway Interlocking Case Study
- WP2 Smart Energy Grids Case study
- WP3 Methods and Tools for Model Construction and Proof
- WP4 Methods and Tools for Simulation and Testing
- WP5 Process Integration: integrating methods and tools into development processes to maximum effect
- WP6 External Dissemination and Exploitation
- WP7 Management