Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection.

Stefan Engels, Robert Wille

Browse the full DATE paper archive.