Making real-time reactive systems reliable
- 2 January 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 25 (1), 45-48
- https://doi.org/10.1145/122140.122143
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- An interval logic for higher-level temporal reasoningPublished by Association for Computing Machinery (ACM) ,1983