|
|
|
Volumn , Issue , 1995, Pages 249-258
|
|
Dependability assessment using binary decision diagrams (BDDs)
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTER SYSTEM RECOVERY;
CONTROL SYSTEM ANALYSIS;
DECISION THEORY;
FAILURE ANALYSIS;
INTERCONNECTION NETWORKS;
MARKOV PROCESSES;
MATHEMATICAL MODELS;
PROBABILITY;
RELIABILITY;
RISK ASSESSMENT;
TREES (MATHEMATICS);
COMBINATORIAL MATHEMATICS;
COMPUTER SIMULATION;
COMPUTER SOFTWARE;
CONTROL SYSTEMS;
ERROR DETECTION;
SYSTEMS ANALYSIS;
BINARY DECISION DIAGRAMS (BDD);
COMBINATORIAL MODEL;
COVERAGE MODELING;
DEPENDABILITY AND RISK EVALUATION USING DECISION DIAGRAMS (DREDD);
F18 FLIGHT CONTROL SYSTEM;
FAULT TOLERANT MULTISTAGE INTERCONNECTION NETWORK;
FAULT TREES;
BINARY DECISION DIAGRAMS;
DEPENDABILITY ASSESSMENT;
FLIGHT CONTROL SYSTEMS;
RISK EVALUATION;
FAULT TOLERANT COMPUTER SYSTEMS;
|
|
EID: 0028994261
PISSN: 07313071
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (42)
|
|
References (15)
|
