A PROTOTYPE M-VERDI/ADA ENVIRONMENT: REPORT ON TASKS 1-5
- 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
- Gives a short summary of the m-Verdi/Ada system, a task-by-task description of the m-Verdi/Ada work and conclusions.
- Keywords
- M-VERDI;M-EVES;FORMAL METHOD;SUNOS;SUN 3
- Date of publication
- 01 Sep 1992
- Number of Pages
- 11
- DSTKIM No
- 94-00288
- CANDIS No
- 128601
- Format(s):
- Hardcopy;Originator's fiche received by DSIS
Document 1 of 1
- Date modified: