Compositional analysis of probabilistic timed graph transformation systems (Q2044184)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional analysis of probabilistic timed graph transformation systems
scientific article

    Statements

    Compositional analysis of probabilistic timed graph transformation systems (English)
    0 references
    0 references
    0 references
    0 references
    4 August 2021
    0 references
    cyber-physical systems
    0 references
    graph transformation systems
    0 references
    qualitative analysis
    0 references
    quantitative analysis
    0 references
    probabilistic timed systems
    0 references
    compositional analysis
    0 references
    model checking
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references