Galileo fault tree analysis tool

Proceedings - Annual International Conference on Fault-Tolerant Computing

Volumn , Issue , 1999, Pages 232-235

  Sullivan, Kevin J ^a   Dugan, Joanne Bechta ^a   Coppit, David ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; DECISION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; FAULT TREE ANALYSIS; MARKOV PROCESSES; USER INTERFACES;

BINARY DECISION DIAGRAM; GALILEO; PACKAGE ORIENTED PROGRAMMING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032597677     PISSN: 07313071     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (7)