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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.