Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques (Q3400536)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques |
scientific article |
Statements
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques (English)
0 references
5 February 2010
0 references
failures, errors
0 references
faults
0 references
dependability
0 references
judgement
0 references
occurrence nets
0 references
abstraction
0 references
formal analysis
0 references