Computer Safety, Reliability, and Security: 31st International Conference, Safecomp 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings

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

• Format: Paperback
• Language: English
• ISBN: 3642336779
• ISBN13: 9783642336775
• Release Date: August 2012
• Publisher: Springer
• Length: 402 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"