MariellePetitDoche

Pinned Repositories

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.
Language:Java2 1 017
governance
part of WP1: information needed to run project management in openetcs
0 1 00
openETCS_LateX_templates
LateX templates and examples for OpenETCS project.
0 0 00
wp2
openetcs-wp2-docs
0 1 00
ecosystem
part of WP7: openECTS Ecosystem
Language:TeX13 16 5917
governance
part of WP1: information needed to run project management in openetcs
Language:TeX7 26 10513
model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
Language:TeX13 16 5820
modeling
WP3 Top Level Project: to cover all tasks related with modeling
Language:C33 41 75342
toolchain
WP7: Top Level Project for the toolchain
Language:TeX27 36 43730
validation
WP4: Validation and verification strategy
Language:HTML8 22 23022

MariellePetitDoche's Repositories

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.
Language:Java2 1 017
MariellePetitDoche/governance
part of WP1: information needed to run project management in openetcs
0 1 00
MariellePetitDoche/openETCS_LateX_templates
LateX templates and examples for OpenETCS project.
0 0 00
MariellePetitDoche/wp2
openetcs-wp2-docs
0 1 00