Towards a calculus for dynamic architectures (Q1675795)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Towards a calculus for dynamic architectures
scientific article

    Statements

    Towards a calculus for dynamic architectures (English)
    0 references
    0 references
    3 November 2017
    0 references
    dynamic architectures
    0 references
    component calculus
    0 references
    architecture verification
    0 references
    configuration traces
    0 references
    behavior traces
    0 references

    Identifiers