Threaded behavior protocols (Q470016): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
Property / DOI
 
Property / DOI: 10.1007/s00165-011-0194-3 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S00165-011-0194-3 / rank
 
Normal rank

Revision as of 02:15, 9 December 2024

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