Computer Safety, Reliability and Security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Anderson, Stuart (Editor, http://id.loc.gov/vocabulary/relators/edt), Bologna, Sandro (Editor, http://id.loc.gov/vocabulary/relators/edt), Felici, Massimo (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Edition: 1st ed. 2002.
• Series: Lecture Notes in Computer Science, 2434
• Subjects: Software engineering.; Optical data processing.; Data encryption (Computer science).; Coding theory.; Information theory.; Special purpose computers.; Computer logic.; 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.
• Physical Description: CCCLXXII, 352 p. online resource.
• ISBN: 9783540457329
• ISSN: 0302-9743 ;
• DOI: 10.1007/3-540-45732-1

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.