A Validation Technique for Tightly Coupled Protocols
- Harry Rudin
- Colin H. West
- 1982
- IEEE TC
Publications
Date
Featured collections
Popular topics
16 results for Harry Rudin
Archiving agents for the World Wide Web
- Christoph Brandli
- H.R. Rudin
- 1997
- ICCCN 1997
ICC'83 COMMUNICATION PROTOCOLS SESSION: AN OVERVIEW.
- H.R. Rudin
- 1982
- IEEE ICC 1982
Formal methods after 15 years: Status and trends A paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, October 1995
- Jean-Pierre Courtiat
- Piotr Dembinski
- et al.
- 1996
- Computer Networks
A Survey of Light-Weight Transport Protocols for High-Speed Networks
- Willibald A. Doeringer
- Doug Dykeman
- et al.
- 1990
- IEEE Transactions on Communications
Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks
- Mark Sherman
- Harry Rudin
- 1982
- IEEE Transactions on Communications
Dynamic Routing and Flow Control
- Harry Rudin
- Heinrich Mueller
- 1980
- IEEE Transactions on Communications
Towards Analyzing and Synthesizing Protocols
- P. Pitrozafiropulo
- Colin H. West
- et al.
- 1980
- IEEE Transactions on Communications
Automated protocol validation: One chain of development
- Harry Rudin
- Colin H. West
- et al.
- 1978
- Computer Networks
Packet and circuit switching: Cost/performance boundaries
- K. Kümmerle
- H.R. Rudin
- 1978
- Computer Networks