Work packages
The project is structured across four work packages:
- WP0: Project Management and coordination
- WP1: CPS modelling, identification of critical attack points
- WP2: CPS co-simulation and traces generation
- WP3: Formal methods for threat identification
