The specification-based validation of Reliable Multicast Protocol

An edition of The specification-based validation of Reliable Multicast Protocol (1995)

The specification-based validation of Reliable Multicast Protocol

problem report

By Yunqing Wu

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1995

Publisher

National Aeronautics and Space Administration,West Virginia University,National Technical Information Service, distributor

Language

eng

Pages

Description:

subjects: Functional design specifications, Protocol (Computers), Applications programs (Computers), Software development tools, Communication networks, Program verification (Computers), Design analysis