openETCS/model-evaluation

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

语言：TeX · GitHub 星标：14 · Fork：20

在 GitHub 上查看原仓库