Filters
Advanced Search Browse by Genre

Found 90 results for "Ricky W. Butler"

The Semi-Markov Unreliability Range Evaluator (SURE) program
The Semi-Markov Unreliability Range Evaluator (SURE) program

by Ricky W. Butler

1984 4 ed.
Markov processes Computer programs
Validation of a fault-tolerant clock synchronization system
Validation of a fault-tolerant clock synchronization system

by Ricky W. Butler

1984 3 ed.
Aeronautics Fault-tolerant computing Data processing
A preliminary transient-fault experiment on the SIFT computer system
A preliminary transient-fault experiment on the SIFT compute...

by Ricky W. Butler

1987 3 ed.
Computer networks
The art of fault-tolerant system reliability modeling
The art of fault-tolerant system reliability modeling

by Ricky W. Butler

1990 3 ed.
Mathematical models Reliability Computer systems
The Fault-Tree Compiler (FTC)
The Fault-Tree Compiler (FTC)

by Ricky W. Butler

1989 2 ed.
Computer programs System failures (Engineer... Computer techniques
A survey of provably correct fault-tolerant clock synchronization techniques
A survey of provably correct fault-tolerant clock synchroniz...

by Ricky W. Butler

1988 2 ed.
Algorithms
Formal design and verification of a reliable computing platform for real-time control
Formal design and verification of a reliable computing platf...

by Ricky W. Butler

1992 2 ed.
Architecture (Computers) Computer software Digital Computers
Validation of a fault-tolerant clock synchronization system
Validation of a fault-tolerant clock synchronization system

by Ricky W Butler

1984 2 ed.
Aeronautics Fault-tolerant computing Data processing
An introduction to requirements capture using PVS
An introduction to requirements capture using PVS

by Ricky W. Butler

1996 2 ed.
Specifications Software development tool... Program verification (Com...
The Semi-Markov Unreliability Range Evaluator (SURE) program
The Semi-Markov Unreliability Range Evaluator (SURE) program

by Ricky W Butler

1984 2 ed.
Markov processes Computer programs
The fault-tree compiled (FTC)
The fault-tree compiled (FTC)

by Ricky W. Butler

1989 1 ed.
Reliability analysis Fault trees Fault tolerance
A PVS graph theory library
A PVS graph theory library

by Ricky W. Butler

1998 1 ed.
Libraries Graph theory
The SURE reliability analysis program
The SURE reliability analysis program

by Ricky W. Butler

1986 1 ed.
Architecture (Computers) Birth and death processes... Computer programs
SURE reliability analysis
SURE reliability analysis

by Ricky W. Butler

1988 1 ed.
Reliability (Engineering) Markov processes
Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach
Techniques for modeling the reliability of fault-tolerant sy...

by Ricky W Butler

1995 1 ed.
Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach
Techniques for modeling the reliability of fault-tolerant sy...

by Ricky W. Butler

1995 1 ed.
Reliability Fault tolerance Markov models
An abstract specification language for Markov reliability models
An abstract specification language for Markov reliability mo...

by Ricky W Butler

1985 1 ed.
Statistical methods Reliability (Engineering)
A note about HARP's state trimming method
A note about HARP's state trimming method

by Ricky W. Butler

1998 1 ed.
Reliability analysis Failure modes Fault tolerance
The PAWS and STEM reliability analysis programs
The PAWS and STEM reliability analysis programs

by Ricky W. Butler

1988 1 ed.
Reliability (Engineering)
Hardware proofs using EHDM and the RSRE verification methodology
Hardware proofs using EHDM and the RSRE verification methodo...

by Ricky W. Butler

1989 1 ed.
Computer programs