Modal event-clock specifications for timed component-based design (Q1951603)

From MaRDI portal
Revision as of 17:33, 29 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Modal event-clock specifications for timed component-based design
scientific article

    Statements

    Modal event-clock specifications for timed component-based design (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    6 June 2013
    0 references
    component-based systems
    0 references
    interface-based design
    0 references
    timed modal specification
    0 references
    conjunction
    0 references
    product
    0 references
    quotient
    0 references

    Identifiers