Testing the correctness of tasking supervisors with TSL specifications
- 1 November 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 14 (8) , 187-196
- https://doi.org/10.1145/75309.75330
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A Methodology for the Design of Ada Transformation Tools in a DIANA EnvironmentIEEE Software, 1985
- Debugging Ada Tasking ProgramsIEEE Software, 1985