MariellePetitDoche/governance
part of WP1: information needed to run project management in openetcs
Developer Profile
MariellePetitDoche
Discovered public repositories for MariellePetitDoche in the GitHub catalog.
MariellePetitDoche/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.
MariellePetitDoche/wp2
openetcs-wp2-docs
MariellePetitDoche/openETCS_LateX_templates
LateX templates and examples for OpenETCS project.