"Computer Software+Reliability." - ECU Libraries Catalog

Start Over

You searched for: subject "Computer Software+Reliability."

Showing 141 - 150 of 175 results

Search Results

Cover image for Developments in risk-based approaches to safety

Developments in risk-based approaches to safety

by Safety-Critical Systems Symposium
2006
Format: Electronic

Location
Access Content Online

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

by Chu, Tsong-Lun
2013
Format: Electronic

Location
Access Content Online

Cover image for NASA software engineering benchmarking study

NASA software engineering benchmarking study

by Rarick, Heather L.
2013
Format: Electronic

Location
Access Content Online

Cover image for Reliable Distributed Systems, 16th Symposium

Reliable Distributed Systems, 16th Symposium

1997
Format: Electronic

Location
Access Content Online

Cover image for Introduction to reliable distributed programming

Introduction to reliable distributed programming

by Guerraoui, Rachid
2006
Format: Electronic

Location
Access Content Online

Cover image for Cyber-risk informatics

Cyber-risk informatics

by Sahinoglu, Mehmet, 1951-
2016
Format: Electronic

Location
Access Content Online

Cover image for The cleanroom case study in the Software Engineering Laboratory

The cleanroom case study in the Software Engineering Laboratory

1990
Format: Microform

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:103390	✔ Available

Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

by Butler, Ricky W.
1996
Format: Electronic

Location
Access Content Online

Cover image for Rigorous development of complex fault-tolerant systems

Rigorous development of complex fault-tolerant systems

by Workshop on Rigorous Engineering of Fault-tolerant Systems
2006
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2011
Format: Electronic

Location
Access Content Online