A PROTOTYPE VERDI/ADA ENVIRONMENT: PORTING THE RS232 EXAMPLE CODE TO VERDI. TASK 7

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
Keywords
PROCESS NETWORKS;RS232;FORMAL METHOD;M-VERDI;M-EVES
Date of publication
06 Aug 1993
Number of Pages
4
DSTKIM No
94-00283
CANDIS No
135993
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: