On disjunction of literals in triggers of statecharts transitions. (Q1853160)

From MaRDI portal
Revision as of 04:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
On disjunction of literals in triggers of statecharts transitions.
scientific article

    Statements

    On disjunction of literals in triggers of statecharts transitions. (English)
    0 references
    0 references
    21 January 2003
    0 references
    Concurrency
    0 references
    Reactive systems
    0 references
    Specification languages
    0 references
    Statecharts
    0 references

    Identifiers