scientific article; zbMATH DE number 1497790

zbMATH Open0966.68116MaRDI QIDQ4499208FDOQ4499208

Authors: Thomas Stauner, Christoph Grimm 

Publication date: 5 March 2001

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

Recommendations

• Modular and visual specification of hybrid systems: An introduction to HyCharts
• From hybrid data-flow languages to hybrid automata: a complete translation
• 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

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?)
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Reaction and control I. Mixing additive and multiplicative network algebras
• Title not available (Why is that?)

Cited In (2)

• Semi-automatic generation of mixed hardware/software prototypes from Simulink models
• Modular and visual specification of hybrid systems: An introduction to HyCharts

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)