Loading...
Please wait, while we are loading the content...
Similar Documents
A framework for the assessment of the industrial risk caused by floods
| Content Provider | Scilit |
|---|---|
| Copyright Year | 2008 |
| Description | While the topic of error propagation has been investigated by others (Hiller M. 2001; Jhumka A. 2001; Abdelmoez W. 2004; Voas 1997; Lillerud F. 2005; Michael C.C. 1996), and methods have been proposed that can be used to identify potential error propagation issues in a given program (Sarshar S. 2007), there are currently no existing methods that have been specially developed to provide mathematical proofs of whether error propagation can or can not occur. A possible approach for using formal methods in relation to error propagation was investigated in (Fredriksen R. 2007), but since it required that a reasonably complete formal specification written in Z was available, it is rarely applicable in practice. Book Name: Safety, Reliability and Risk Analysis |
| Related Links | https://content.taylorfrancis.com/books/download?dac=C2010-1-34239-3&isbn=9780429176418&doi=10.1201/9781482266481-384&format=pdf |
| Ending Page | 2792 |
| Page Count | 6 |
| Starting Page | 2787 |
| DOI | 10.1201/9781482266481-384 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2008-09-10 |
| Access Restriction | Open |
| Subject Keyword | Book Name: Safety, Reliability and Risk Analysis Geological Engineering Mathematical |
| Content Type | Text |
| Resource Type | Chapter |
