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.

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

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

Zili Zhang, Zhiming Liu

Fundamentals of Dependable Computing for Software Engineers

Knight, John

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

Vyacheslav Kharchenko, Alexander Romanovsky, Anatoliy Gorbenko

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

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