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.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 4680 |
Release date: |
September 2007 |
First published: |
2007 |
Editors: |
Francesca Saglietti
• Norbert Oster
|
Dimensions: |
235 x 155 x 29mm (L x W x T) |
Format: |
Paperback
|
Pages: |
548 |
Edition: |
2007 ed. |
ISBN-13: |
978-3-540-75100-7 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-75100-9 |
Barcode: |
9783540751007 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!