Safety and Security Requirements for an Advanced Train Control System.

Jens Braband

Browse the full SAFECOMP paper archive.