astante/openetcs-constraints-training
Repository for the OpenETCS Constraint Training
Developer Profile
astante
Discovered public repositories for astante in the GitHub catalog.
astante/openetcs-datadictionary
Public repository.
astante/openetcs-updatesite
Eclipse Update Site for openETCS Plugins
astante/openetcs-sysml-to-b
Public repository.
astante/toolchain
WP7: Top Level Project for the toolchain
astante/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling