morido/toolchain
WP7: Top Level Project for the toolchain
Developer Profile
morido
Discovered public repositories for morido in the GitHub catalog.
morido/subset026reqif
ETCS Subset026 as reqif
morido/tud_newsscraper
A tool to extract data from websites of TU Dresden
morido/playground
This is a test repository for trying out git
morido/openetcs.github.com
Public openETCS Website
morido/camera_traindetector
Client/Server-Software to visually detect a train on a track-section
morido/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.