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

by Bev Littlewood , John Rushby
Citations:8 - 2 self