Reactive computing as model generation (Q264957)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reactive computing as model generation
scientific article

    Statements

    Reactive computing as model generation (English)
    0 references
    0 references
    0 references
    1 April 2016
    0 references
    state transition systems
    0 references
    reactive systems
    0 references
    composite event processing
    0 references
    model generation
    0 references
    frame problem
    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
    0 references
    0 references