It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
September 13, 2008 | History
Edit

Ricky W. Butler

17 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: The Semi-Markov Unreliability Range Evaluator (SURE) program

    First published in 1984 4 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: art of fault-tolerant system reliability modeling

    First published in 1990 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A preliminary transient-fault experiment on the SIFT computer system

    First published in 1987 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Validation of a fault-tolerant clock synchronization system

    First published in 1984 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: An introduction to requirements capture using PVS: specification of a simple autopilot

    First published in 1996 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The Fault-Tree Compiler (FTC): program and mathematics

    First published in 1989 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal design and verification of a reliable computing platform for real-time control: phase 2 results

    First published in 1992 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A survey of provably correct fault-tolerant clock synchronization techniques

    First published in 1988 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: An elementary tutorial on formal specification and verification using PVS

    First published in 1993 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: fault-tree compiled (FTC): program and mathematics

    First published in 1989 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Hardware proofs using EHDM and the RSRE verification methodology

    First published in 1989 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A note about HARP's state trimming method

    First published in 1998 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The PAWS and STEM reliability analysis programs

    First published in 1988 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A PVS graph theory library

    First published in 1998 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: SURE reliability analysis: program and mathematics

    First published in 1988 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The SURE reliability analysis program

    First published in 1986 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach

    First published in 1995 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Ricky W. Butler
Subjects
Fault tolerance, Computer programs, Reliability analysis, Architecture (Computers), Fault-tolerant computing, Markov processes, Reliability (Engineering), Computer networks, Data processing, Fault trees, Program verification (Computers), Reliability, Aeronautics, Algorithms, Birth and death processes (Stochastic processes), Computer programming, Computer software, Computer systems, Computer techniques, Control systems design, Digital Computers, Digital electronics, Digital systems, Electromagnetic interference, Equations of state
Places
United States

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL4654054A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 13, 2008 Created by ImportBot Imported from Oregon Libraries MARC record.