Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2434)
Included in the following conference series:
Conference proceedings info: SAFECOMP 2002.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.
Similar content being viewed by others
Keywords
Table of contents (32 papers)
-
Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)
-
Keynote Talk
-
Reliability Assessment
Other volumes
-
Computer Safety, Reliability and Security
Editors and Affiliations
Bibliographic Information
Book Title: Computer Safety, Reliability and Security
Book Subtitle: 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings
Editors: Stuart Anderson, Massimo Felici, Sandro Bologna
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45732-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2002
Softcover ISBN: 978-3-540-44157-1Published: 28 August 2002
eBook ISBN: 978-3-540-45732-9Published: 02 August 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: CCCLXXII, 352
Topics: Software Engineering/Programming and Operating Systems, Image Processing and Computer Vision, Cryptology, Coding and Information Theory, Special Purpose and Application-Based Systems, Logics and Meanings of Programs