Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
- 21 March 2001
- book chapter
- Published by Springer Nature
- p. 275-290
- https://doi.org/10.1007/3-540-45351-2_24
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Masaccio: A Formal Model for Embedded ComponentsPublished by Springer Nature ,2000
- Modular Specification of Hybrid Systems in CharonPublished by Springer Nature ,2000
- Reactive ModulesFormal Methods in System Design, 1999
- Modularity for timed and hybrid systemsPublished by Springer Nature ,1997
- A compositional rule for hardware design refinementPublished by Springer Nature ,1997
- SHIFT: A formalism and a programming language for dynamic networks of hybrid automataPublished by Springer Nature ,1997
- Hybrid I/O automataPublished by Springer Nature ,1996
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987