MarcBehrens/SRS-Analysis-1
WP3 Repositories for SysML modelling of the SRS
Developer Profile
MarcBehrens
Discovered public repositories for MarcBehrens in the GitHub catalog.
MarcBehrens/toolchain-1
WP7: Top Level Project for the toolchain
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
MarcBehrens/SSRS
task related activities related to Sub-Systems Requirement Specification (SSRS)
MarcBehrens/governance
part of WP1: information needed to run project management in openetcs
MarcBehrens/ecosystem
openECTS Ecosystem