Summary
Output of Task 104 this deliverable will describe the configuration data for ERTMS L3 trackside and the requirements on configuration data together with results from formal verification of the requirements
More information & hyperlinks