Modular and visual specification of hybrid systems: An introduction to HyCharts (Q698433)

From MaRDI portal
Revision as of 10:49, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Modular and visual specification of hybrid systems: An introduction to HyCharts
scientific article

    Statements

    Modular and visual specification of hybrid systems: An introduction to HyCharts (English)
    0 references
    0 references
    0 references
    18 September 2002
    0 references
    0 references
    hybrid systems
    0 references
    formal specification
    0 references
    statecharts
    0 references