Yann-Hang Lee
-
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers