Test Specification Amsterdam Utrecht

openETCS / validation

WP4: Validation and verification strategy

8 stars 22 forks source link

Open MarcBehrens opened 9 years ago

MarcBehrens commented 9 years ago

To verify the openETCS national specific use case AMSTERDAM UTRECHT a testspecification is needed.

MarcBehrens commented 9 years ago

Currently debugged and in Subset-076 format - conversion to SCADE pending.