A Safety Critical Computer System in a Railway Application.

Bernhard Stamm, Ren Baumann, Martin Kndig-Herzog

Browse the full SAFECOMP paper archive.