Specification of real-time and hybrid systems in rewriting logic (Q1608921)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specification of real-time and hybrid systems in rewriting logic
scientific article

    Statements

    Specification of real-time and hybrid systems in rewriting logic (English)
    0 references
    0 references
    0 references
    13 August 2002
    0 references
    0 references
    rewriting logic
    0 references
    Maude
    0 references
    real-time systems
    0 references
    hybrid systems
    0 references
    timed Petri nets
    0 references
    real-time object-oriented systems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references