scientific article; zbMATH DE number 1497790

zbMath0966.68116MaRDI QIDQ4499208

Thomas Stauner, Christoph Grimm

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hybrid data-flow graphsHyCharts

Mathematics Subject Classification ID

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

Cites Work

• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Reaction and control I. Mixing additive and multiplicative network algebras
• Unnamed Item
• Unnamed Item

This page was built for publication: