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

From MaRDI portal
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