Publisher's Synopsis
This book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2000, held in Rotterdam, The Netherlands in October 2000.;The 33 revised full papers presented together with three invited papers were carefully reviewed and selected for inclusion in the book.;The papers are organized in topical sections on verification and validation; software process improvement; formal methods; safety guidelines, standards and certification; hardware aspects; safety assessment; design for safety; and transport and infrastructure.
