Ola Løkberg, Øystein Skogstad. Functional Apportioning of Safety Requirements on Railway Signalling Systems. In Rune Winther, Bjørn Axel Gran, Gustav Dahll, editors, Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings. Volume 3688 of Lecture Notes in Computer Science, pages 289-302, Springer, 2005. [doi]
Abstract is missing.