Showing 21 - 40 results of 45 for search 'Butler, Ricky W.', query time: 0.29s Refine Results
  1. 21
    The Fault-Tree Compiler (FTC) program and mathematics /
    by Butler, Ricky W
    Published 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  2. 22
    The Fault-Tree Compiler (FTC) program and mathematics /
    by Butler, Ricky W
    Published 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  3. 23
    The art of fault-tolerant system reliability modeling
    by Butler, Ricky W
    Published 1990

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  4. 24
    The SURE reliability analysis program
    by Butler, Ricky W
    Published 1986

    Government Document Book
  5. 25
    A note about HARP's state trimming method /
    by Butler, Ricky W
    Published 1998

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  6. 26
    A PVS graph theory library /
    by Butler, Ricky W
    Published 1998

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

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

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  9. 29
    The SURE reliability analysis program /
    by Butler, Ricky W
    Published 1986

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  10. 30
    The Fault-Tree Compiler (FTC) : program and mathematics /
    by Butler, Ricky W
    Published 1989

    Book
  11. 31
    Towards a formal semantics of flight plans and trajectories /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  12. 32
    A turn-projected state-based conflict resolution algorithm /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  13. 33
    A note about HARPs state trimming method /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  14. 34
    The chorus conflict and loss of separation resolution algorithms /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  15. 35
    The Stratway program for strategic conflict resolution : use's guide /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  16. 36
    A bitvectors library for PVS /
    Published 1996
    Other Authors: “...Butler, Ricky W...”

    Government Document Book
  17. 37
    The Fault-Tree Compiler
    by Martensen, Anna L
    Published 1987
    Other Authors: “...Butler, Ricky W...”

    Government Document Book
  18. 38
    Estimating the distribution of fault latency in a digital processor
    by Ellis, Erik L
    Published 1987
    Other Authors: “...Butler, Ricky W...”

    Government Document Book
  19. 39
    Measurement of SIFT operating system overhead /
    by Palumbo, Daniel L
    Published 1985
    Other Authors: “...Butler, Ricky W...”

    Government Document Book
  20. 40
    Measurement of SIFT operating system overhead
    by Palumbo, Daniel L
    Published 1985
    Other Authors: “...Butler, Ricky W...”

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