Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques (Q3400536)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques |
scientific article; zbMATH DE number 5666744
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Structured occurrence nets: a formalism for aiding system failure prevention and analysis techniques |
scientific article; zbMATH DE number 5666744 |
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
0.9686707258224488
0 references
0.7803862690925598
0 references
0.7215511202812195
0 references
