A compositional approach to the design of hybrid systems
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 121-148
- https://doi.org/10.1007/3-540-57318-6_27
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A calculus of durationsInformation Processing Letters, 1991
- Specification and Compositional Verification of Real-Time SystemsLecture Notes in Computer Science, 1991
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- An axiomatic basis for computer programmingCommunications of the ACM, 1969