The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application.

Gioacchino A. Mutone, Martin Rothfelder

Browse the full SAFECOMP paper archive.