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