TY  - BOOK
AU  - Ortmeier,Frank
AU  - Daniel,Peter
ED  - SpringerLink (Online service)
TI  - Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642336782
AV  - QA76.9.A25 
U1  - 005.8 23
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Data protection
KW  - Computer software
KW  - Computer Science
KW  - Systems and Data Security
KW  - Software Engineering
KW  - Algorithm Analysis and Problem Complexity
KW  - Computers and Society
KW  - Special Purpose and Application-Based Systems
N1  - Tools -- Risk Analysis -- Testing -- Quantitative Analysis -- Security -- Formal Methods -- Aeronautic -- Automotive -- Process -- Case Studies
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-33678-2
ER  -