Relating time progress and deadlines in hybrid systems
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 286-300
- https://doi.org/10.1007/bfb0014733
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Toward a formal specification of multimedia synchronization scenariosAnnals of Telecommunications, 1994
- Galois connexionsTransactions of the American Mathematical Society, 1944