Showing 1 - 20 results of 45 for search 'Butler, Ricky W.', query time: 0.35s Refine Results
  1. 1
    The art of fault-tolerant system reliability modeling /
    by Butler, Ricky W, Butler, Ricky W
    Published 1990

    Government Document Book
  2. 2
    The Fault-Tree Compiler (FTC) : program and mathematics /
    by Butler, Ricky W, Butler, Ricky W
    Published 1989

    Government Document Book
  3. 3
    A bitvectors library for PVS /
    by Butler, Ricky W., Butler, Ricky W.
    Published 1996

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  4. 4
    An introduction to requirements capture using PVS : specification of a simple autopilot /
    by Butler, Ricky W., Butler, Ricky W.
    Published 1996

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  5. 5
    Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach
    by Butler, Ricky W
    Published 1995

    Government Document Book
  6. 6
    An introduction to requirements capture using PVS : specification of a simple autopilot /
    by Butler, Ricky W
    Published 1996

    Government Document Book
  7. 7
    A PVS graph theory library
    by Butler, Ricky W
    Published 1998

    Government Document Book
  8. 8
    Formal design and verification of a reliable computing platform for real-time control phase 3 results /
    by Butler, Ricky W
    Published 1994

    Government Document Book
  9. 9
    An elementary tutorial on formal specification and verification using PVS
    by Butler, Ricky W
    Published 1993

    Government Document Book
  10. 10
    The Semi-Markov Unreliability Range Evaluator (SURE) program
    by Butler, Ricky W
    Published 1984

    Government Document Book
  11. 11
    The PAWS and STEM reliability analysis programs
    by Butler, Ricky W
    Published 1988

    Government Document Book
  12. 12
    An abstract specification language for Markov reliability models
    by Butler, Ricky W
    Published 1985

    Government Document Book
  13. 13
    A survey of provably correct fault-tolerant clock synchronization techniques /
    by Butler, Ricky W
    Published 1988

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  14. 14
    A preliminary transient-fault experiment on the SIFT computer system
    by Butler, Ricky W
    Published 1987

    Government Document Book
  15. 15
    Formal design and verification of a reliable computing platform for real-time control phase 2 results /
    by Butler, Ricky W
    Published 1992

    Government Document Book
  16. 16
    Hardware proofs using EHDM and the RSRE verification methodology
    by Butler, Ricky W
    Published 1988

    Government Document Book
  17. 17
    Validation of a fault-tolerant clock synchronization system /
    by Butler, Ricky W
    Published 1984

    Government Document Book
  18. 18
    The SURE reliability analysis program /
    by Butler, Ricky W
    Published 1986

    Government Document Book
  19. 19
    SURE reliability analysis program and mathematics /
    by Butler, Ricky W
    Published 1988

    Government Document Book
  20. 20
    SURE reliability analysis : program and mathematics /
    by Butler, Ricky W
    Published 1988

    Government Document Book
Search Tools: Get RSS Feed — Email this Search