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

Search Results

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

Location
Access Content Online
Cover image for An empirical study of flight control software reliability

An empirical study of flight control software reliability

Location
Access Content Online
Cover image for Election reform

Election reform

Location Call # Status
Joyner - Fed Docs Stacks Y 4.H 81/3:EL 2/30 ✔ Available
Cover image for The art of fault-tolerant system reliability modeling

The art of fault-tolerant system reliability modeling

Location Call # Status
Joyner - Microforms B300 NAS 1.15:102623 ✔ Available
Cover image for ASSIST user manual

ASSIST user manual

Location Call # Status
Joyner - Microforms B300 NAS 1.15:4592 ✔ Available
Cover image for Development of quantitative software reliability models for digital protection systems of nuclear power plants

Development of quantitative software reliability models for digital protection systems of nuclear power plants

Location
Access Content Online
Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

Location Call # Status
Joyner - Microforms B300 NAS 1.15:110255 ✔ Available
Cover image for Thermal characterization of the universal multizone crystallizator

Thermal characterization of the universal multizone crystallizator

  • 1995
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:111791 ✔ Available
Cover image for NASA software engineering benchmarking study

NASA software engineering benchmarking study

Location
Access Content Online
Cover image for Software design improvements

Software design improvements

Location
Access Content Online