Semantics of timed message sequence charts (Q1406345)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semantics of timed message sequence charts
scientific article

    Statements

    Semantics of timed message sequence charts (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    9 September 2003
    0 references
    0 references
    semantics of languages
    0 references
    MSC language
    0 references
    verification of requirements
    0 references
    theory of interaction of agents and environments
    0 references
    time consistency
    0 references