Reasoning about the Reliability Of Diverse Two-Channel Systems In which One Channel is “Possibly Perfect” (2009)

by Bev Littlewood , John Rushby
Citations:1 - 0 self