Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1994, Pages 101-106

  Constantinescu, Cristian ^a  

^a DUKE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; ESTIMATION; MATHEMATICAL MODELS; PROBABILITY; REAL TIME SYSTEMS; STATISTICAL METHODS;

COVERAGE PROBABILITY; DEPENDABILITY EVALUATION; FAULT LOCATIONS COMPUTER SYSTEMS; RANDOM SAMPLING; SIMULATED FAULT INJECTION;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0028597333     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)