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
    0 references
    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

    Identifiers