26. SAFECOMP 2007: Nuremberg, Germany

Francesca Saglietti, Norbert Oster (Eds.): Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Lecture Notes in Computer Science 4680 Springer 2007, ISBN 978-3-540-75100-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Safety Cases

Impact of Security on Safety

Poster Session 1

Fault Tree Analysis

Safety Analysis

Security Aspects

Poster Session 2

Verification and Validation

Platform Reliability

Reliability Evaluation

Poster Session 3

Formal Methods

Static Code Analysis

Safety-Related Architectures