Computer software, reliability

Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

edited by Erwin Schoitsch

Fatal Defect: Chasing Killer Computer Bugs

Ivars Peterson.

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Zili Zhang, Zhiming Liu

Software for Dependable Systems: Sufficient Evidence?

Computer Science and Telecommunications Board, Lynette I. Millett, Committee on Certifiably Dependable Software Systems, Division on Engineering and Physical Sciences, National Research Council

Fundamentals of Dependable Computing for Software Engineers

Knight, John

Resilience Assessment and Evaluation of Computing Systems

edited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

edited by Alexander Romanovsky, Tullio Vardanega

Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Vyacheslav Kharchenko, Alexander Romanovsky, Anatoliy Gorbenko

Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, Uk, 6-8 February 2001

Safety-Critical Systems Symposium (9th 2001 Bristol, England), England) Safety-Critical Systems Symposium 2001 (Bristol, Felix Redmill, Tom Anderson

Contributions to Hardware and Software Reliability

P. K. Kapur, S. Kumar, R. B. Garg