Computer Safety, Reliability and Security [electronic resource] : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings /
This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002. 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.
Main Authors: | , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2002
|
Subjects: | Computer science., Special purpose computers., Software engineering., Data encryption (Computer science)., Coding theory., Computer logic., Image processing., Computer Science., Software Engineering/Programming and Operating Systems., Image Processing and Computer Vision., Data Encryption., Coding and Information Theory., Special Purpose and Application-Based Systems., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-45732-1 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|