Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 計算機安全、可靠性與安全性：第26屆國際會議 SAFECOMP 2007，德國紐倫堡，2007年9月18-21日，會議論文集（計算機科學講義）

***

Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2007-09-12
  • 售價: $2,400
  • 貴賓價: 9.5 折 $2,280
  • 語言: 英文
  • 頁數: 548
  • 裝訂: Paperback
  • ISBN: 3540751009
  • ISBN-13: 9783540751007
  • 相關分類: Computer-Science、資訊安全

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007. The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures.

商品描述(中文翻譯)

本書為第26屆國際計算機安全、可靠性與安全性會議（SAFECOMP 2007）的經過審核的會議論文集。33篇修訂的完整論文和16篇短文被組織在以下主題部分：安全案例、安全性對安全的影響、故障樹分析、安全分析、安全性方面、驗證與確認、平台可靠性、可靠性評估、形式化方法、靜態代碼分析及安全相關架構。

類似商品