Validation of RailML Using ProB.

Jan Gruteser, Michael Leuschel

Browse the full ICECCS paper archive.