Threaded behavior protocols (Q470016)

From MaRDI portal
Revision as of 04:39, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Threaded behavior protocols
scientific article

    Statements

    Threaded behavior protocols (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    11 November 2014
    0 references
    behavior modeling
    0 references
    verification
    0 references
    model checking
    0 references
    refinement
    0 references
    composition
    0 references
    component systems
    0 references

    Identifiers