Combinatorial-models and coverage: a binary decision diagram (BDD) approach

Proceedings of the Annual Reliability and Maintainability Symposium

Volumn , Issue , 1995, Pages 82-89

  Doyle, Stacy A ^a   Bechta, Joanne ^a   Boyd, Mark ^a  

^a DUKE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; ALGORITHMS; AUTOMATION; BINARY SEQUENCES; CALCULATIONS; COMBINATORIAL MATHEMATICS; DECISION THEORY; EFFICIENCY; EVALUATION; MATHEMATICAL MODELS; PROBABILITY; RELIABILITY;

BINARY DECISION DIAGRAM; COMBINATORIAL MODELS; COVERAGE; DEPENDABILITY AND RISK EVALUATION USING DECISION DIAGRAMS; RELIABILITY MODELS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0029197246     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)