Computer Safety, Reliability, and Security

Know about the book -

Computer Safety, Reliability, and Security is written by Frank Ortmeier and published by Springer. It's available with International Standard Book Number or ISBN identification 3642336787 (ISBN 10) and 9783642336782 (ISBN 13).

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.