Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

This volume contains the papers presented at the SAFECOMP ‘95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11-13 October 1995. The papers cover all the main topics which are relevant to the safety lifecycle, including general guidelines, legal and human aspects, safety analysis, formal methods, design, verification and validation, reliability issues, dependable software technology, and safety-related applications. The volume should be useful reading to those in universities, research institutions, industry and business who wish to be well-informed about computer safety, reliability and security.