Systems specification by basic protocols (Q2508786)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Systems specification by basic protocols
scientific article

    Statements

    Systems specification by basic protocols (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    20 October 2006
    0 references
    formal methods
    0 references
    requirements verification
    0 references
    agents and environments
    0 references
    0 references
    0 references
    0 references

    Identifiers