|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Frank Ortmeier , Peter DanielPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2012 ed. Volume: 7612 Dimensions: Width: 15.50cm , Height: 2.10cm , Length: 23.50cm Weight: 0.640kg ISBN: 9783642336775ISBN 10: 3642336779 Pages: 402 Publication Date: 31 August 2012 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsTools.- Risk Analysis.- Testing.- Quantitative Analysis.- Security.- Formal Methods.- Aeronautic.- Automotive.- Process.- Case Studies.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |