A verification strategy for timing constrained systems
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 151-163
- https://doi.org/10.1007/3-540-56496-9_13
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Timing verification by successive approximationPublished by Springer Nature ,1993
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- Timing assumptions and verification of finite-state concurrent systemsPublished by Springer Nature ,1990
- Data Structures and Network AlgorithmsPublished by Society for Industrial & Applied Mathematics (SIAM) ,1983