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

Search Results

Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

Location
Access Content Online
Cover image for An integrated approach to system design, reliability, and diagnosis

An integrated approach to system design, reliability, and diagnosis

Location Call # Status
Joyner - Microforms B300 NAS 1.15:102861 ✔ Available
Cover image for Design master

Design master

Location Call # Status
Joyner - Microforms B300 NAS 1.15:113165 ✔ Available
Cover image for Abnormal fault-recovery characteristics of the fault-tolerant multiprocessor uncovered using a new fault-injection methodology

Abnormal fault-recovery characteristics of the fault-tolerant multiprocessor uncovered using a new fault-injection methodology

Location Call # Status
Joyner - Microforms B300 NAS 1.15:4218 ✔ Available
Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

Location
Access Content Online
Cover image for Reliability issues for DoD systems

Reliability issues for DoD systems

  • 2002
  • Format: Electronic
Location
Access Content Online
Cover image for RENEW v3.2 user's manual, maintenance estimation simulation for Space Station Freedom

RENEW v3.2 user's manual, maintenance estimation simulation for Space Station Freedom

Location Call # Status
Joyner - Microforms B300 NAS 1.15:106006 ✔ Available
Cover image for ETARA PC version 3.3 user's guide

ETARA PC version 3.3 user's guide

Location Call # Status
Joyner - Microforms B300 NAS 1.15:103751 ✔ Available
Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

Location
Access Content Online
Cover image for Nested transactions

Nested transactions

Location Call # Status
Joyner - General Stacks QA76.9.D5 M67 1985 ✔ Available