Richard J. Linn Jr.

Publication Activity (10 Years)

Years Active: 1983-1994
Publications (10 Years): 0

Publications

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)
Rachid Sijelmassi, Richard J. Linn Jr.
Guidelines for Using Estelle to Specify OSI Services and Protocols. Comput. Networks ISDN Syst. 23 (5) (1992)
Richard J. Linn Jr.
Conformance evaluation methodology and protocol testing. IEEE J. Sel. Areas Commun. 7 (7) (1989)
Richard J. Linn Jr.
Conformance Testing for OSI Protocols. Comput. Networks ISDN Syst. 18 (3) (1989)
Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale
A Formal Multi-Layer Test Methodology and its Applications to OSI. FORTE (1989)
Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette
Application of Formal Description Techniques to Conformance Evaluation. FORTE (1988)
Richard J. Linn Jr., Jean Philippe Favreau
Application of formal description techniques to the specification of distributed test systems. INFOCOM (1988)
Richard J. Linn Jr.
Testing to Assure Interworking of Implementations of ISO/OSI Protocols. Comput. Networks 11 (1986)
Richard J. Linn Jr.
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. PSTV (1985)
Richard J. Linn Jr.
An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. PSTV (1984)
Richard J. Linn Jr., J. Stephen Nightingale
Some Experience with Testing Tools for OSI Protocol Implementations. Protocol Specification, Testing, and Verification (1983)
Richard J. Linn Jr., W. H. McCoy
Producing Tests for Implementations of OSI Protocols. Protocol Specification, Testing, and Verification (1983)