Popular repositories Loading

1. ecosystem ecosystem Public

   Forked from openETCS/ecosystem

   openECTS Ecosystem

2. methodology-report methodology-report Public

   Forked from openETCS/methodology-report

   part of WP2

   1

3. CENELEC-compliance_openETCS CENELEC-compliance_openETCS Public

   Elicit requirements coming from CENELEC standards particularly EN 50128:2011 and that will have to be fulfilled by the overall “Open” methodology

   4

4. model-evaluation model-evaluation Public

   Forked from openETCS/model-evaluation

   part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

   C