Publications

98 results at Computer Networks

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
Access response on a collision-free local bus network
- - V.Carl Hamacher
  - Gerald S. Shedler
- 1982
- Computer Networks
An improved protocol validation technique
- - J. Rubin
  - C.H. West
- 1982
- Computer Networks
Data link-control performance: Results comparing HDLC operational modes
- - W Bux
  - K Kümmerle
  - et al.
- 1982
- Computer Networks
Packet and circuit switching: Cost/performance boundaries
- - K. Kümmerle
  - H.R. Rudin
- 1978
- Computer Networks
Automated protocol validation: One chain of development
- - Harry Rudin
  - Colin H. West
  - et al.
- 1978
- Computer Networks
Verification of protocols using symbolic execution
- - Daniel Brand
  - William H Joyner Jr.
- 1978
- Computer Networks
Optimization of mixed-media communication networks
- - K Maruyama
- 1978
- Computer Networks