Specifying and verifying requirements of real-time systems
- 1 September 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 16 (5) , 44-54
- https://doi.org/10.1145/123041.123051
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- PROVABLY CORRECT SAFETY CRITICAL SOFTWAREPublished by Elsevier ,1990