Software for dependable systems
Subtitle: sufficient evidence?
By: Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
Contributors: Jackson, Daniel; Thomas, Martyn, 1948-; Millett, Lynette I
Publisher: National Academies Press
Published: 2007
Place of publication: Washington, D.C
Language: eng
Number of pages: 131
ISBN-13: 9780309103947
Subjects: Computer software -- Reliability; Systems software -- Reliability; Software engineering
Notes: Includes bibliographical references (p. 110-116)

Also available via the Internet