| 1994 |
|---|
| 11 | EE | Donald A. B. Lindberg,
John C. Toole,
Paul R. Young,
John S. Cavallini,
Lee B. Holcomb,
Richard J. Linn Jr.,
George R. Cotter,
Helen M. Wood,
Joan H. Novak,
Alexis T. Poliakoff:
The High Performance Computing and Communication (HPCC) Program: technologies for the National Information Infrastructure (panel).
SC 1994: 279 |
| 1992 |
|---|
| 10 | | Richard J. Linn Jr.,
M. Ümit Uyar:
Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992
North-Holland 1992 |
| 1991 |
|---|
| 9 | | Rachid Sijelmassi,
Richard J. Linn Jr.:
Guidelines for Using Estelle to Specify OSI Services and Protocols.
Computer Networks and ISDN Systems 23(5): 343-362 (1991) |
| 1989 |
|---|
| 8 | | Jean Philippe Favreau,
Richard J. Linn Jr.,
J. Stephen Nightingale:
A Formal Multi-Layer Test Methodology and its Applications to OSI.
FORTE 1989: 375-392 |
| 7 | | Richard J. Linn Jr.:
Conformance Testing for OSI Protocols.
Computer Networks and ISDN Systems 18(3): 203-219 (1989) |
| 1988 |
|---|
| 6 | | Jean Philippe Favreau,
Richard J. Linn Jr.,
Philip Gaudette:
Application of Formal Description Techniques to Conformance Evaluation.
FORTE 1988: 295-309 |
| 1986 |
|---|
| 5 | | Richard J. Linn Jr.:
Testing to Assure Interworking of Implementations of ISO/OSI Protocols.
Computer Networks 11: 277-286 (1986) |
| 1985 |
|---|
| 4 | | Richard J. Linn Jr.:
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model.
PSTV 1985: 271-296 |
| 1984 |
|---|
| 3 | | Richard J. Linn Jr.:
An Evaluation of the ICST Test Architecture after Testing Class 4 Transport.
PSTV 1984: 611-621 |
| 1983 |
|---|
| 2 | | Richard J. Linn Jr.,
W. H. McCoy:
Producing Tests for Implementations of OSI Protocols.
Protocol Specification, Testing, and Verification 1983: 505-520 |
| 1 | | Richard J. Linn Jr.,
J. Stephen Nightingale:
Some Experience with Testing Tools for OSI Protocol Implementations.
Protocol Specification, Testing, and Verification 1983: 521-531 |
