Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, invest

SAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October

This book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2000, held in Rotter

The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the