Minimum and maximum delay problems in realtime systems
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 399-409
- https://doi.org/10.1007/3-540-55179-4_37
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Model-checking for probabilistic real-time systemsPublished by Springer Nature ,1991
- Timing assumptions and verification of finite-state concurrent systemsPublished by Springer Nature ,1990
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989