Research Catalog

The specification-based validation of Reliable Multicast Protocol problem report

Title
The specification-based validation of Reliable Multicast Protocol [microform] : problem report / Yunqing Wu.
Author
Wu, Yunqing.
Publication
[Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, W. Va.?] : West Virginia University ; [Springfield, Va. : National Technical Information Service, distributor, 1995]

Details

Additional Authors
United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
  • NASA contractor report ; NASA CR-200029
  • Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory
Alternative Title
Specification based validation of Reliable Multicast Protocol
Subject
  • Applications programs (Computers)
  • Communication networks
  • Design analysis
  • Functional design specifications
  • Program verification (Computers)
  • Protocol (Computers)
  • Software development tools
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 96-0513-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:200029
OCLC
marcive35518482
Author
Wu, Yunqing.
Title
The specification-based validation of Reliable Multicast Protocol [microform] : problem report / Yunqing Wu.
Imprint
[Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, W. Va.?] : West Virginia University ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
Series
NASA contractor report ; NASA CR-200029
Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1996] 1 microfiche.
Added Author
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:200029
Research Call Number
READEX Microfiche NAS 1.26:200029
View in Legacy Catalog