A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy.

Stefan Engels, Tom Peham, Robert Wille

Browse the full ATMOS paper archive.