A Safe, Reliable Control and Supervisory System for Railway Networks.

Neville Rowden

Browse the full SAFECOMP paper archive.