Minimum and maximum delay problems in real-time systems
- 1 December 1992
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 1 (4) , 385-415
- https://doi.org/10.1007/bf00709157
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic of concrete time intervalsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- 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