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

DOI10.1023/A:1016001318739zbMath1018.68047OpenAlexW1600665217MaRDI QIDQ698433

Thomas Stauner, Radu Grosu

Publication date: 18 September 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016001318739

zbMATH Keywords

hybrid systemsformal specificationstatecharts

Mathematics Subject Classification ID

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

Related Items (5)

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Unnamed Item ⋮ HYPE: hybrid modelling by composition of flows ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Monotonic hybrid systems

This page was built for publication: Modular and visual specification of hybrid systems: An introduction to HyCharts