A survey of timed automata for the development of real-time systems (Q394966)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A survey of timed automata for the development of real-time systems
scientific article

    Statements

    A survey of timed automata for the development of real-time systems (English)
    0 references
    0 references
    0 references
    0 references
    28 January 2014
    0 references
    timed automata
    0 references
    survey
    0 references
    real-time systems
    0 references
    formal models
    0 references
    semantics
    0 references
    timed regular languages
    0 references
    decision problems
    0 references
    variants
    0 references
    implementability
    0 references
    tools
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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