MarcBehrens/SRS-Analysis-1
WP3 Repositories for SysML modelling of the SRS
Public GitHub Catalog
Discovered Sep 30, 2026
MarcBehrens / toolchain-1
WP7: Top Level Project for the toolchain
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#19097113GitHub System ID
MarcBehrensOrganization / User
PublicVisibility
ActiveCatalog Status
More from MarcBehrens
MarcBehrens/ERTMSFormalSpecs
ERTMSFormalSpecs provides a domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation. It is understandable by domain specialists while retaining the ability to be translated to executable representations by fully automated means.
MarcBehrens/Dissemination
WP6: Top Level Project for openETCS dissemination activities
MarcBehrens/internal-assessment
part of WP4: activities for internal assessor task