Start Over
You searched for: subject "Computer programs+Reliability."

Search Results

Cover image for FRANTIC

FRANTIC

Location Call # Status
Joyner - Fed Docs Stacks Y 3.N 88:10/0193 ✔ Available
Cover image for Software system testing and quality assurance

Software system testing and quality assurance

Location Call # Status
Joyner - General Stacks QA76.6 .B4328 1984 ✔ Available
Cover image for Software design improvements

Software design improvements

Location Call # Status
Joyner - Microforms B300 NAS 1.15:107402/PT.2 ✔ Available
Cover image for Tutorial and hands-on demonstration of a fluent interpreter for CARE III

Tutorial and hands-on demonstration of a fluent interpreter for CARE III

Location
Access Content Online
Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

Location
Access Content Online
Cover image for An Experimental evaluation of software redundancy as a strategy for improving reliability

An Experimental evaluation of software redundancy as a strategy for improving reliability

  • 1990
  • Format: Microform
Location
Access Content Online
Cover image for Formal methods

Formal methods

Location
Access Content Online
Cover image for Software formal inspection standard

Software formal inspection standard

  • 1993
  • Format: Microform
Location Call # Status
Joyner - Microforms B300 NAS 1.82:2202-93 ✔ Available
Cover image for The SURE reliability analysis program

The SURE reliability analysis program

Location Call # Status
Joyner - Microforms B300 NAS 1.15:87593 ✔ Available
Cover image for NASA software documentation standard

NASA software documentation standard

  • 1991
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.82:2100-91 ✔ Available