Integrity Checking of Railway Interlocking Firmware.

Ronny Bckman, Ian Oliver, Gabriela Limonta

Browse the full SAFECOMP paper archive.