On Verification of Linear Occurrence Properties of Real-Time Systems (Q2873689)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On Verification of Linear Occurrence Properties of Real-Time Systems
scientific article

    Statements

    On Verification of Linear Occurrence Properties of Real-Time Systems (English)
    0 references
    0 references
    0 references
    24 January 2014
    0 references
    linear occurrence invariants
    0 references
    real-time automata
    0 references
    duration calculus of weakly monotonic time
    0 references
    deterministic probabilistic real-time automata
    0 references
    probabilistic duration calculus
    0 references

    Identifiers