Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings by Frank OrtmeierComputer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings by Frank Ortmeier

Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg…

byFrank OrtmeierEditorPeter Daniel

Paperback | August 31, 2012

Pricing and Purchase Info

$100.66 online 
$103.50 list price
Earn 503 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg…Format:PaperbackDimensions:402 pages, 23.5 × 15.5 × 0.02 inPublished:August 31, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642336779

ISBN - 13:9783642336775

Reviews

Table of Contents

Tools.- Risk Analysis.- Testing.- Quantitative Analysis.- Security.- Formal Methods.- Aeronautic.- Automotive.- Process.- Case Studies.