Functional specification of real-time and hybrid systems
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 273-285
- https://doi.org/10.1007/bfb0014732
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Hybrid Systems IIPublished by Springer Nature ,1995
- The Formal Semantics of Programming LanguagesPublished by MIT Press ,1993
- Hybrid systems in TLA+Published by Springer Nature ,1993
- Verifying hybrid systemsPublished by Springer Nature ,1993
- Hybrid SystemsPublished by Springer Nature ,1993
- Program Design CalculiPublished by Springer Nature ,1993
- Semantic DomainsPublished by Elsevier ,1990