Dependability Modelling and Evaluation of Software Fault-Tolerant Systems (1990)

by J Arlat, K Kanoun, J C Laprie
Venue:IEEE Transaction on Computer