Modular and visual specification of hybrid systems: An introduction to HyCharts
From MaRDI portal
Publication:698433
Recommendations
- scientific article; zbMATH DE number 1444338
- scientific article; zbMATH DE number 1497790
- scientific article; zbMATH DE number 1522990
- Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
- A general framework for modular implementations of modular system specifications
- HyTech: A model checker for hybrid systems
- scientific article; zbMATH DE number 5286872
- Towards a framework for modelling behaviours of hybrid systems
Cited in
(6)- A compositional modelling and analysis framework for stochastic hybrid systems
- scientific article; zbMATH DE number 1497790 (Why is no real title available?)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
- HYPE: hybrid modelling by composition of flows
- Monotonic hybrid systems
- SOFSEM 2005: Theory and Practice of Computer Science
This page was built for publication: Modular and visual specification of hybrid systems: An introduction to HyCharts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698433)