Research Catalog

An approach to verification and validation of a reliable multicasting protocol extended abstract

Title
An approach to verification and validation of a reliable multicasting protocol [microform] : extended abstract / by John R. Callahan and Todd L. Montgomery.
Author
Callahan, John R., 1942-
Publication
[Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, WV] : West Virginia University ; [Springfield, Va. : National Technical Information Service, distributor, 1995]

Details

Additional Authors
  • Montgomery, Todd.
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
  • NASA contractor report ; NASA CR-200022
  • Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory
Subject
  • Computer networks
  • Packet switching
  • Packets (Communication)
  • Program verification (Computers)
  • Protocol (Computers)
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 96-0513-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:200022
OCLC
marcive35517515
Author
Callahan, John R., 1942-
Title
An approach to verification and validation of a reliable multicasting protocol [microform] : extended abstract / by John R. Callahan and Todd L. Montgomery.
Imprint
[Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, WV] : West Virginia University ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
Series
NASA contractor report ; NASA CR-200022
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
Montgomery, Todd.
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:200022
Research Call Number
READEX Microfiche NAS 1.26:200022
View in Legacy Catalog