A PROTOTYPE VERDI/ADA ENVIRONMENT: THE VERDI/ADA RUNTIME SYSTEM: TASK 11

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
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

Permanent link

Document 1 of 1

Date modified: