search

openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

Verification of the ADD Document #277

Open MarcBehrens opened 9 years ago

MarcBehrens commented 9 years ago

A new version of the ADD document is coming up and can be found here https://github.com/openETCS/modeling/tree/master/openETCS%20ArchitectureAndDesign/D3.5.2

This version, once ready needs to be verified.

MarcBehrens commented 9 years ago

ADD document is still frozen - planed to be handed over to verification within the next weeks