First Page | Document Content | |
---|---|---|
![]() Date: 2013-09-02 07:15:14Computing Safety Quality Dependability Fault tree analysis Fault IEC 61508 Failure causes Software bug Reliability engineering Systems engineering Risk | Source URL: media.wiley.comDownload Document from Source WebsiteFile Size: 589,88 KBShare Document on Facebook |
![]() | Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001DocID: 1xV8y - View Document |
![]() | PDF DocumentDocID: 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 D2DocID: 1usFT - View Document |