openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

model-evaluation

This repository is dedicated to store all the models and results concerning evaluation of means and tools for the OpenETCS project.

This repository is a part of WP7, task T7.1 and T7.2.

It is organized in the following directories: