Skip to content

Computer Safety, Reliability, and Security 23rd International Conference, Safecomp 2004, Potsdam, Germany, September 2004, Proceedings

Spend $50 to get a free movie!

ISBN-10: 3540231765

ISBN-13: 9783540231769

Edition: 2004

Authors: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann

List price: $54.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $54.99
Copyright year: 2004
Publisher: Springer Berlin / Heidelberg
Publication date: 9/9/2004
Binding: Paperback
Pages: 344
Size: 6.10" wide x 9.25" long x 1.00" tall
Weight: 2.420

Invited Talk
Why Safety and Security Should and Will Merge
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument
Using Fuzzy Self-Organising Maps for Safety Critical Systems
Using Formal Methods in a Retrospective Safety Case
A Highly Fault Detectable Cache Architecture for Dependable Computing
An Empirical Exploration of the Difficulty Function
Towards the Integration of Fault, Resource, and Power Management
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
Analysing Mode Confusion: An Approach Using FDR2
Invited Talk
Handling Safety Critical Requirements in System Engineering Using the B Formal Method
A Hybrid Testing Methodology for Railway Control Systems
Actuator Based Hazard Analysis for Safety Critical Systems
Performability Measures of the Public Mobile Network of a Tele Control System
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants
Compositional Hazard Analysis of UML Component and Deployment Models
Automatic Test Data Generation from Embedded C Code
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems
Safety Requirements and Fault Trees Using Retrenchment
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics
Invited Talk
Automotive Telematics - Road Safety Versus IT Security?
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
Refinement of Fault Tolerant Control Systems in B
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth
Dependability Benchmarking of Web-Servers
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment
How Explicit Are the Barriers to Failure in Safety Arguments?
Author Index