This book constitutes the refereed proceedings of the 18th International Conference on Computer Safety, Reliability, and Security, SAFECOMP'99, held in Toulouse, France in September 1999. The 39 revised full papers presented were carefully reviewed and selected from a total of 76 submissions. Among the topics addressed are safety assessment and human factors, verification and validation, design for safety, and formal methods and security.

Скачать книгу бесплатно (pdf, 3.59 Mb)

---

Читать «Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings »