Quantitative analysis of weighted transition systems (Q710680)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantitative analysis of weighted transition systems
scientific article

    Statements

    Quantitative analysis of weighted transition systems (English)
    0 references
    0 references
    0 references
    0 references
    22 October 2010
    0 references
    quantitative analysis
    0 references
    weighted transition systems
    0 references
    weighted timed automata
    0 references
    simulation
    0 references
    trace inclusion
    0 references
    hemimetrics
    0 references

    Identifiers