Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, S | SAFECOMP 2001 (2001 : Budapest, Hungary), Voges, U. (Udo), 1946-
Share on TelegramComputer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, S
Author: SAFECOMP 2001 (2001 : Budapest, Hungary), Voges, U. (Udo), 1946-
Added by: sketch
Added Date: 2015-12-30
Publication Date: 2001
Language: eng
Subjects: Computer software, Electronic digital computers, Computer security, Industrial safety
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540426078
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 134.72 MB
PDF Size: 5.81 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Edition: [Elektronische Ressource]
Downloads: 1.03K
Views: 51.03
Total Files: 18
Media Type: texts
Description
Author: Udo Voges
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42607-3
DOI: 10.1007/3-540-45416-0
Table of Contents:
- Designing Safety into Medical Decisions and Clinical Processes
- Security Assessments of Safety Critical Systems Using HAZOPs
- Network Security for Substation Automation Systems
- A Bayesian Belief Network for Reliability Assessment
- Checking General Safety Criteria on UML Statecharts
- Presenting a Safety Case — A Case Study —
- Safety Functions versus Control Functions
- A Fail-Safe Dual Channel Robot Control for Surgery Applications
- Modeling the Human in Human Factors
- Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach
- Analysis of Incidents Involving Interactive Systems
- Experimental Evaluation of Fault Handling Mechanisms
- The COTS Debate in Perspective
- An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
- A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures
- The Effectiveness of Statistical Testing when Applied to Logic Systems
- A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B
- Safety Patterns — The Key to Formal Specification of Safety Requirements
- Formal Support for Fault Modelling and Analysis
- Project Experience with IEC 61508 and Its Consequences
Includes bibliographical references and index