[PDF] Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings - eBookmela

Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

New Added
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
Likes+254
Telegram icon Share on Telegram

Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, S

User Rating: Be the first one!

Author: SAFECOMP 2001 (2001 : Budapest, Hungary), Voges, U. (Udo), 1946-

Added by: sketch

Added Date: 2015-12-30

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]

Archive Url

Downloads: 1.02K

Views: 51.02

Total Files: 18

Media Type: texts

PDF With Zip
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

April 26, 2022

Download PDF

5.81 MB 1PDF Files

Zip Big Size
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

April 26, 2022

Download Zip

134.72 MB 18Files

Total Files: 5

PDF
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
10 1007 3 540 45416 0 pdf

Last Modified: 2015-12-30 06:30:21

Download

Size: 5.81 MB

GZ
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
10 1007 3 540 45416 0 abbyy gz

Last Modified: 2015-12-30 08:04:10

Download

Size: 8.26 MB

TXT
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
10 1007 3 540 45416 0 djvu txt

Last Modified: 2016-01-06 17:16:36

Download

Size: 643.12 KB

ZIP
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
10 1007 3 540 45416 0 jp2 zip

Last Modified: 2015-12-30 06:35:33

Download

Size: 110.74 MB

TORRENT
Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings
springer 10 1007 3 540 45416 0 archive t...torrent

Last Modified: 2022-03-09 10:13:15

Download

Size: 9.37 KB

Description

Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings
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

You May Also Like

We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account