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

Saved in:
Bibliographic Details
Main Author: Callahan, John R., 1942-
Corporate Author: United States. National Aeronautics and Space Administration
Other Authors: Montgomery, Todd, 1943-
Format: Government Document Book
Language:English
Published: [Washington, D.C.] : [Morgantown, W. Va.] : [Springfield, Va.] : National Aeronautics and Space Administration ; West Virginia University ; [National Technical Information Service, distributor], [1995]
Series:NASA contractor report ; NASA CR-200022.
Subjects:

MARC

LEADER 00000nam a22000007a 4500
001 f69eec3a-1dc3-4784-bc37-ec11495defd5
005 20240705000000.0
008 960911s1995 dcu b f000 0 eng d
035 |a (OCoLC)35517515 
037 |a N 96-17783  |b NASA 
040 |a GPO  |c GPO  |d DLC  |d MvI  |d MnU 
049 |a [MF] MNUJ 
074 |a 0830-H-14 (MF) 
086 0 |a NAS 1.26:200022 
099 |a NAS 1.26:200022 
100 1 |a Callahan, John R.,  |d 1942- 
245 1 3 |a An approach to verification and validation of a reliable multicasting protocol :  |b extended abstract /  |c by John R. Callahan and Todd L. Montgomery. 
260 |a [Washington, D.C.] :  |b National Aeronautics and Space Administration ;  |a [Morgantown, W. Va.] :  |b West Virginia University ;  |a [Springfield, Va.] :  |b [National Technical Information Service, distributor],  |c [1995] 
300 |a 1 volume. 
336 |a text  |b txt  |2 rdacontent 
337 |a microform  |b h  |2 rdamedia 
338 |a microfiche  |b he  |2 rdacarrier 
490 1 |a NASA contractor report;  |v NASA CR-200022 
490 0 |a Technical report series / NASA/WVU Software IV & V Facility, Software Research Laboratory 
500 |a Distributed to depository libraries in microfiche. 
500 |a Shipping list no.: 96-0513-M. 
533 |a Microfiche.  |b [Washington, D.C. :  |c National Aeronautics and Space Administration,  |d 1996]  |e 1 microfiche. 
650 7 |a Computer networks.  |2 nasat 
650 7 |a Packet switching.  |2 nasat 
650 7 |a Packets (Communication)  |2 nasat 
650 7 |a Program verification (Computers)  |2 nasat 
650 7 |a Protocol (Computers)  |2 nasat 
700 1 |a Montgomery, Todd,  |d 1943- 
710 1 |a United States.  |b National Aeronautics and Space Administration 
830 0 |a NASA contractor report ;  |v NASA CR-200022. 
999 1 0 |i f69eec3a-1dc3-4784-bc37-ec11495defd5  |l 9914469210001701  |s US-MNU  |m approach_to_verification_and_validation_of_a_reliable_multicasting_pro_____1995_______natioa________________________________________callahan__john_r___________________nas_1_26_200022p