Towards Automatic Design and Verification for Level 3 of the European Train Control System.

Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda

Browse the full DATE paper archive.