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.
Edited by:
Gerhard Rabe Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Country of Publication: Germany Edition: Edition. ed. Dimensions:
Height: 235mm,
Width: 155mm,
Spine: 27mm
Weight: 807g ISBN:9783540199625 ISBN 10: 3540199624 Pages: 516 Publication Date:13 October 1995 Audience:
College/higher education
,
Professional and scholarly
,
Further / Higher Education
,
Undergraduate
Format:Paperback Publisher's Status: Active