An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System.

Jrgen Christmansson, Zbigniew Kalbarczyk, Jan Torin

Browse the full SAFECOMP paper archive.