AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167)

From MaRDI portal
scientific article
Language Label Description Also known as
English
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
scientific article

    Statements

    AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    19 November 2009
    0 references
    parameter synthesis
    0 references
    reachability analysis
    0 references
    time-abstract equivalence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers