Ricky W. Butler

17 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

The Semi-Markov Unreliability Range Evaluator (SURE) program

by Ricky W. Butler First published in 1984 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
The art of fault-tolerant system reliability modeling

by Ricky W. Butler First published in 1990 — 3 editions

Locate

My Reading Lists:

Create a new list
A preliminary transient-fault experiment on the SIFT computer system

by Ricky W. Butler First published in 1987 — 3 editions

Locate

My Reading Lists:

Create a new list
Validation of a fault-tolerant clock synchronization system

by Ricky W. Butler First published in 1984 — 3 editions

Locate

My Reading Lists:

Create a new list
An introduction to requirements capture using PVS: specification of a simple autopilot

by Ricky W. Butler First published in 1996 — 2 editions

Locate

My Reading Lists:

Create a new list
The Fault-Tree Compiler (FTC): program and mathematics

by Ricky W. Butler First published in 1989 — 2 editions

Locate

My Reading Lists:

Create a new list
Formal design and verification of a reliable computing platform for real-time control: phase 3 results

by Ricky W. Butler First published in 1992 — 2 editions

Locate

My Reading Lists:

Create a new list
A survey of provably correct fault-tolerant clock synchronization techniques

by Ricky W. Butler First published in 1988 — 2 editions

Locate

My Reading Lists:

Create a new list
An elementary tutorial on formal specification and verification using PVS

by Ricky W. Butler First published in 1993 — 1 edition

Locate

My Reading Lists:

Create a new list
fault-tree compiled (FTC): program and mathematics

by Ricky W. Butler First published in 1989 — 1 edition

Locate

My Reading Lists:

Create a new list
Hardware proofs using EHDM and the RSRE verification methodology

by Ricky W. Butler First published in 1989 — 1 edition

Locate

My Reading Lists:

Create a new list
A note about HARP's state trimming method

by Ricky W. Butler First published in 1998 — 1 edition

Locate

My Reading Lists:

Create a new list
The PAWS and STEM reliability analysis programs

by Ricky W. Butler First published in 1988 — 1 edition

Locate

My Reading Lists:

Create a new list
A PVS graph theory library

by Ricky W. Butler First published in 1998 — 1 edition

Locate

My Reading Lists:

Create a new list
SURE reliability analysis: program and mathematics

by Ricky W. Butler First published in 1988 — 1 edition

Locate

My Reading Lists:

Create a new list
The SURE reliability analysis program

by Ricky W. Butler First published in 1986 — 1 edition

Locate

My Reading Lists:

Create a new list
Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach

by Ricky W. Butler First published in 1995 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL4654054A

Links outside Open Library

No links yet. Add one?

History

Created September 13, 2008
1 revision

Download catalog record: RDF / JSON

September 13, 2008

Created by ImportBot

Imported from Oregon Libraries MARC record

Ricky W. Butler

17 works Add another?

Create a new list

Subjects

Places

Lists

Add to List

ID Numbers

Links outside Open Library

History