<--- Back to Details
First PageDocument Content
Computing / Safety / Quality / Dependability / Fault tree analysis / Fault / IEC 61508 / Failure causes / Software bug / Reliability engineering / Systems engineering / Risk
Date: 2013-09-02 07:15:14
Computing
Safety
Quality
Dependability
Fault tree analysis
Fault
IEC 61508
Failure causes
Software bug
Reliability engineering
Systems engineering
Risk

Add to Reading List

Source URL: media.wiley.com

Download Document from Source Website

File Size: 589,88 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Theoretical computer science / Software testing / Formal methods / Software design / Software bug / Software quality

Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

DocID: 1xV8y - View Document

PDF Document

DocID: 1w3Zw - View Document

Improving the Dependability of Data Center-Scale Computations Daniel * Porto ,

DocID: 1vgQM - View Document

Computing manuscript No. (will be inserted by the editor) Dependability Certification of Services: A Model-Based Approach Claudio A. Ardagna · Ravi Jhawar ·

DocID: 1vfNV - View Document

Project DEPLOY Grant Agreement “Industrial deployment of advanced system engineering methods for high productivity and dependability” DEPLOY Deliverable D2

DocID: 1usFT - View Document