Computer Safety, Reliability, and Security: 33rd International Conference, Safecom 2014, Florence, Italy, September 10-12, 2014. Proceedings

By Andrea Bondavalli

Verification &Validation Techniques.- Automotive Systems.- Coverage Models and Mitigation Techniques.- Assurance cases and arguments.- System Analysis.- Security and Trust.- Notations/Languages for Safety-related aspects.- Safety and Security.

• Format: Paperback
• Language: English
• ISBN: 3319105051
• ISBN13: 9783319105055
• Release Date: August 2014
• Publisher: Springer
• Length: 356 Pages
• Weight: 1.18 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"