jastram/openetcs.github.com
Public openETCS Website
Developer Profile
jastram
Discovered public repositories for jastram in the GitHub catalog.
jastram/SSRS
task related activities related to Sub-Systems Requirement Specification (SSRS)
jastram/toolchain
WP7: Top Level Project for the toolchain
jastram/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
jastram/web_bank
Command line tool to export the credit card transactions from visa cards issued by the German Bank DKB.
jastram/wp3
WP3 temporary workspace
jastram/ecosystem
openECTS Ecosystem
jastram/pror-rodin
ProR Rodin Integration