Computer software, reliability

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

edited by Erwin Schoitsch

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

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

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

Reliable Software Technologies – Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Fabrice Kordon, Yvon Kermarrec

Fundamentals of Dependable Computing for Software Engineers

Knight, John

Aspects of safety management: proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 2001

Felix Redmill and Tom Anderson (eds.).