My Wish Lists Login / Join

Lecture Notes in Computer Science

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

By: Stuart Anderson (Editor), Massimo Felici (Editor), Bev Littlewood (Editor)

Write A Review

Paperback | 12 September 2003

At a Glance

Paperback
452 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Computer Security Industry & Industrial Studies Industrial Relations, Health & Safety Health & Safety Issues Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems

Business & Management Business Mathematics & Systems Computer Architecture & Logic Design

Issues in Safety Assurance	p. 1
Elicitation and Validation of Graphical Dependability Models	p. 8
Visual Modeling and Verification of Distributed Reactive Systems	p. 22
Automatic Timeliness Verification of a Public Mobile Network	p. 35
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform	p. 49
Integrity Static Analysis of COTS/SOUP	p. 63
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks	p. 77
Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks	p. 92
A Dependability Model for Domestic Systems	p. 103
Modelling and Verification of Layered Security Protocols: A Bank Application	p. 116
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity	p. 130
Software Tamper Resistance Using Program Certificates	p. 144
Developing High Assurance Systems: On the Role of Software Tools	p. 159
Web Service Availability - Impact of Error Recovery	p. 165
A Unified Tool for Performance Modelling and Prediction	p. 179
An Approach to Trust Case Development	p. 193
Reliable Data Replication in a Wireless Medical Emergency Network	p. 207
Critical Feature Analysis of a Radiotherapy Machine	p. 221
Byzantine Fault Tolerance, from Theory to Reality	p. 235
Redundancy Management for Drive-by-Wire Computer Systems	p. 249
Fault-Tolerant Communication System to Improve Safety in Railway Environments	p. 263
Dependable Communication Synthesis for Distributed Embedded Systems	p. 275
Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW	p. 289
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code	p. 303
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence: Systems Development	p. 317
Security Policy Configuration Issues in Grid Computing Environments	p. 331
Dependability and Survivability of Large Complex Critical Infrastructures	p. 342
Safety Assessment of Experimental Air Traffic Management Procedures	p. 354
The Application of Causal Analysis Techniques for Computer-Related Mishaps	p. 368
Reuse in Hazard Analysis: Identification and Support	p. 382
The Characteristics of Data in Data-Intensive Safety-Related Systems	p. 396
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents	p. 410
Author Index	p. 425
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Business Mathematics & Systems

Data-Driven Innovation in Supply Chains and Manufacturing

From Predictive Analytics to Natural Language Processing

Data-Driven Innovation in Supply Chains and Manufacturing

From Predictive Analytics to Natural Language Processing

Quantum Computing for Sustainable Supply Chain Management

Integrating Artificial Intelligence for Eco-Efficient Operations and Strategic Optimization

AI Governance

The Executive Handbook for Safe and Responsible AI

Positioning

The Battle for Your Mind

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Digital Harmony

Building Tech and Human Touch

Difficult Conversations

How to Discuss What Matters Most

The Black Swan: Second Edition

The Impact of the Highly Improbable: With a new section: "On Robustness and Fragility"

Business Analytics and Statistics

2nd Edition

Essential Mathematics for Economics and Business

4th Edition

Business Analytics

3rd Global Edition

Business Statistics

8th edition - Australia and New Zealand

DAMA-DMBOK

Data Management Body of Knowledge

The Communication Book

44 Ideas for Better Conversations Every Day

Intermediate Financial Theory

3rd Edition

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Confident Data Skills

Master the Fundamentals of Working with Data and Supercharge Your Career

Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences

14th edition

Microsoft Power BI Dashboards Step by Step

Step by Step

Business Statistics

4th Global Edition

Business Research Methods

6th Edition

Quantum Computing for Sustainable Supply Chain Management

Integrating Artificial Intelligence for Eco-Efficient Operations and Strategic Optimization

AI Governance

The Executive Handbook for Safe and Responsible AI

This product is categorised by