A modular visual model for hybrid systems
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Modularity for timed and hybrid systemsPublished by Springer Nature ,1997
- Refinement of TimePublished by Springer Nature ,1997
- Functional specification of real-time and hybrid systemsPublished by Springer Nature ,1997
- Using HyTech to verify an automotive control SystemPublished by Springer Nature ,1997
- Hybrid I/O automataPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Timed and Hybrid Statecharts and their textual representationPublished by Springer Nature ,1992
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987