Popular repositories

1. modeling modeling Public

   WP3 Top Level Project: to cover all tasks related with modeling

   C 31 42

2. toolchain toolchain Public

   WP7: Top Level Project for the toolchain

   TeX 26 30

3. ecosystem ecosystem Public

   part of WP7: openECTS Ecosystem

   TeX 13 18

4. model-evaluation model-evaluation Public

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

   TeX 13 20

5. openetcs.github.com openetcs.github.com Public

   Public openETCS Website

   CSS 12 9

6. validation validation Public

   WP4: Validation and verification strategy

   HTML 8 22