Safety Verification of Modern Railway Signalling with the SafeCap Platform.

Paulius Stankaitis, Alexei Iliasov

Browse the full ISSRE paper archive.