scientific article; zbMATH DE number 1497790

zbMATH Open0966.68116MaRDI QIDQ4499208FDOQ4499208

Thomas Stauner, Christoph Grimm

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

hybrid data-flow graphsHyCharts

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Reaction and control I. Mixing additive and multiplicative network algebras

Cited In (1)

• Modular and visual specification of hybrid systems: An introduction to HyCharts

   Recommendations

• Modular and visual specification of hybrid systems: An introduction to HyCharts 👍 👎
• From hybrid data-flow languages to hybrid automata 👍 👎
• Hybrid diagrams 👍 👎
• Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) 👍 👎
• Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499208)