A PROTOTYPE VERDI/ADA ENVIRONMENT: THE VERDI/ADA RUNTIME SYSTEM: TASK 11
- Authors
- Corporate Authors
- Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
- Abstract
- Describes the run-time system supporting the formal method.
- Keywords
- FORMAL METHOD;RUN-TIME SYSTEM
- Date of publication
- 05 Aug 1993
- Number of Pages
- 14
- DSTKIM No
- 94-00167
- CANDIS No
- 135991
- Format(s):
- Hardcopy;Originator's fiche received by DSIS
Document 1 of 1
- Date modified: