Computing accumulated delays in real-time systems
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 181-193
- https://doi.org/10.1007/3-540-56922-7_16
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Quantitative temporal reasoningPublished by Springer Nature ,2005
- 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
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993
- Minimum and maximum delay problems in realtime systemsLecture Notes in Computer Science, 1992
- A calculus of durationsInformation Processing Letters, 1991
- The benefits of relaxing punctualityPublished by Association for Computing Machinery (ACM) ,1991
- Timing assumptions and verification of finite-state concurrent systemsLecture Notes in Computer Science, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986