Published September 30, 2021 | Version 1
Report Open

Revised Requirements of the 4SECURail Case Study

Creators

  • 1. ISTI-CNR
  • 2. iSTI-CNR

Description

This internal report of the 4SECURAil project contains the final requirements for the casy study used in the projet demonstrator.

Files

The revised 4SEc Case Study-v2.pdf

Files (1.2 MB)

Name Size Download all
md5:e4776731d43ee7c6505bca26458a22b6
1.2 MB Preview Download

Additional details

Funding

European Commission
4SECURAIL – FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR 881775