Computer Safety, Reliability and Security

Computer Safety, Reliability and Security

4.11 - 1251 ratings - Source

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.There are tools such as Bandera [8], Java Pathfinder [9] and Automation Extractor (AX) [10] that take source code of the ... 285, 294 [7] Shawn Flisakowski: Parser and Abstract Syntax Tree Builder for the C Programming Language. ftp site atanbsp;...

Title:Computer Safety, Reliability and Security
Author:Stuart Anderson, Sandro Bologna, Massimo Felici
Publisher:Springer - 2003-08-02


You Must CONTINUE and create a free account to access unlimited downloads & streaming