Text| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Book
|
AMREF TANZANIA LIBRARY | TX79.3 .K66 2000 (Browse shelf(Opens below)) | Available | TZ0594 |
Constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007, held in Nuremberg, Germany, in September 2007. Consists of the 33 revised full papers and 16 short papers presented reviewed and selected from 136 submissions. Presents an organized 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.
There are no comments on this title.