Software for dependable systems sufficient evidence? / [electronic resource] :
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.
- Washington, D.C. : National Academies Press, c2007.
- xv, 131 p. : ill.
Includes bibliographical references (p. 110-116).
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2009.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computer software--Reliability.
Software engineering.
Systems software--Reliability.
Electronic books.
QA76.76.R44 / N35 2007eb
005
Includes bibliographical references (p. 110-116).
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2009.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computer software--Reliability.
Software engineering.
Systems software--Reliability.
Electronic books.
QA76.76.R44 / N35 2007eb
005