janWelte/subset026reqif
ETCS Subset026 as reqif
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
ETCS Subset026 as reqif
WP3 Top Level Project: to cover all tasks related with modeling
part of WP1: information needed to run project management in openetcs
WP7: Top Level Project for the toolchain