A practical technique for bounding the time between events in concurrent real-time systems
- 1 July 1993
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 18 (3) , 110-116
- https://doi.org/10.1145/154183.154263
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A layered approach to automating the verification of real-time systemsIEEE Transactions on Software Engineering, 1992
- Automated analysis of concurrent systems with the constrained expression toolsetIEEE Transactions on Software Engineering, 1991