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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Anderson, Stuart (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bologna, Sandro (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Felici, Massimo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2434
• Θέματα: 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.
• Φυσική περιγραφή: 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.