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

by Bev Littlewood , John Rushby
Citations:9 - 3 self