The day the phones stopped : the computer crisis--the what and why of it, and how we can beat it /

Error-free software : know-how and know-why of program correctness /
by: Baber, Robert Laurence
Published: (1991)

Resilient computing systems /
Published: (1985)

Ensuring software reliability /
by: Neufelder, Ann Marie, 1960-
Published: (1993)

COMPASS '95 : proceedings of the tenth annual Conference on Computer Assurance, June 25-29, 1995, National Institute of Standards and Technology, Gaithersburg, Maryland /
Published: (1995)

COMPASS '93 : proceedings of the Eighth Annual Conference on Computer Assurance : June 14-17, 1993, National Institute of Standards and Technology, Gaithersburg, MD : practical paths to assurance.
Published: (1993)

COMPASS '96 : proceedings of the eleventh annual Conference on Computer Assurance : systems integrity, software safety, process security, June 17-21, 1996, National Institute of Standards and Technology, Gaithersburg, Maryland /
Published: (1996)

Systems integrity, software safety, and process security : COMPASS '91 : proceedings of the Sixth Annual Conference on Computer Assurance, June 24-June 27, 1991, National Institute of Standards and Technology, Gaithersburg, Maryland.
Published: (1991)

Systems integrity, software safety, and process security : COMPASS '90 : proceedings of the Fifth Annual Conference on Computer Assurance, June 25-June 28, 1990, National Institute of Standards and Technology, Gaithersburg, Maryland /
Published: (1990)

COMPASS '89 : proceedings of the fourth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security, June 19-June 23, 1989, National Institute of Standards and Technology, Gaithersburg, Maryland /
Published: (1989)

COMPASS '94 : proceedings of the Ninth Annual Conference on Computer Assurance : June 27-July 1, 1994, National Institute of Standards and Technology, Gaithersburg, MD : safety, reliability, fault tolerance, concurrency and real time security /
Published: (1994)

Compass '92 : proceedings of the Seventh Annual Conference on Computer Assurance : June 15-18, 1992, National Institute of Standards and Technology, Gaithersburg, Maryland : systems integrity, software safety, process security : building the right system right /
Published: (1992)

Safety and reliability of software based systems : twelfth annual CSR workshop (Bruges 12-15 September 1995) /
Published: (1997)

Software reliability techniques for real-world applications /
by: Youree, Roger K.
Published: (2023)

Software reliability modelling /
by: Xie, M.
Published: (1991)

Software reliability methods /
by: Peled, Doron A., 1962-
Published: (2001)

Software reliability modelling and identification /
Published: (1988)

High-integrity software /
Published: (1989)

Software reliability models : theoretical developments, evaluation, and applications /
Published: (1990)

Software reliability determination for conventional and logic programming /
by: Azem, Alireza, 1963-
Published: (1995)

Recommended practice for software reliability /
Published: (1993)

Software reliability : achievement and assessment /
Published: (1987)

Software reliability handbook /
Published: (1990)

Software reliability engineering : more reliable software, faster development and testing /
by: Musa, John D.
Published: (1999)

Software reliability /
by: Pham, Hoang
Published: (2000)

Software reliability techniques for real-world applications /
by: Youree, Roger K.
Published: (2023)

Softwarezuverlässigkeit : quantitative Modelle und Nachweisverfahren /
by: Becker, Günter, Dr. Ing
Published: (1989)

Achieving safety and reliability with computer systems /
Published: (1987)

COMPASS '88 : computer assurance, National Bureau of Standards, Gaithersburg, Maryland, 27 June - 1 July 1988 /
Published: (1988)

Software reliability modelling and identification /
Published: (1988)

Software reliability : measurement, prediction, application /
by: Musa, John D.
Published: (1990)

High integrity software /
Published: (2001)

Flexible, reliable software : using patterns and agile development /
by: Christensen, Henrik B.
Published: (2010)

Performance solutions : a practical guide to creating responsive, scalable software /
by: Smith, Connie U.
Published: (2002)

Software quality and software testing in Internet times /
Published: (2002)

Software reliability : measurement, prediction, application /
by: Musa, John D.
Published: (1987)

Highly dependable software /
Published: (2003)