Structural transformations for data-enriched real-time systems (Q493518)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structural transformations for data-enriched real-time systems
scientific article

    Statements

    Structural transformations for data-enriched real-time systems (English)
    0 references
    0 references
    0 references
    3 September 2015
    0 references
    structural transformations
    0 references
    extended timed automata
    0 references
    layered composition
    0 references
    communication closedness
    0 references
    non-interference and precedence
    0 references
    separation
    0 references
    flattening
    0 references
    layered reachability
    0 references
    real-time mutual exclusion
    0 references
    0 references
    0 references
    0 references

    Identifiers