Mathematics of dependable systems : based on the proceedings of a conference on Mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 1993 - Stavridou, Victoria (Oxford : Clarendon, 1995)
Keywords: Computer software -- -- Reliability -- -- Mathematical models; Electronic digital computers -- -- Reliability -- -- Mathematical models