Moritz Dorka's repositories
subset026reader
Domain-specific tool to convert doc into reqif. Tailored to the needs of ETCS Subset-026
camera_traindetector
Client/Server-Software to visually detect a train on a track-section
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.
openetcs.github.com
Public openETCS Website
playground
This is a test repository for trying out git
subset026reqif
ETCS Subset026 as reqif
tud_newsscraper
A tool to extract data from websites of TU Dresden