A PROTOTYPE M-VERDI/ADA ENVIRONMENT: REPORT ON TASKS 1-5

Authors
  1. Andrews, J.D.
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

Permanent link

Document 1 of 1

Date modified: