Richard J. Linn Jr.

According to our database, Richard J. Linn Jr. authored at least 12 papers between 1983 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

The High Performance Computing and Communication (HPCC) Program: technologies for the National Information Infrastructure (panel).

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

Proceedings of the Proceedings Supercomputing '94, 1994

1992

Guidelines for Using Estelle to Specify OSI Services and Protocols.

Rachid Sijelmassi, Richard J. Linn Jr.

Comput. Networks ISDN Syst., 1992

1989

Conformance evaluation methodology and protocol testing.

Richard J. Linn Jr.

IEEE J. Sel. Areas Commun., 1989

Conformance Testing for OSI Protocols.

Richard J. Linn Jr.

Comput. Networks ISDN Syst., 1989

A Formal Multi-Layer Test Methodology and its Applications to OSI.

Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale

Proceedings of the Formal Description Techniques, 1989

1988

Application of formal description techniques to the specification of distributed test systems.

Richard J. Linn Jr., Jean Philippe Favreau

Proceedings of the Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, 1988

Application of Formal Description Techniques to Conformance Evaluation.

Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette

Proceedings of the Formal Description Techniques, 1988

1986

Testing to Assure Interworking of Implementations of ISO/OSI Protocols.

Richard J. Linn Jr.

Comput. Networks, 1986

1985

The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model.

Richard J. Linn Jr.

Proceedings of the Protocol Specification, 1985

1984

An Evaluation of the ICST Test Architecture after Testing Class 4 Transport.

Richard J. Linn Jr.

Proceedings of the Protocol Specification, 1984

1983

Some Experience with Testing Tools for OSI Protocol Implementations.

Richard J. Linn Jr., J. Stephen Nightingale

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

Producing Tests for Implementations of OSI Protocols.

Richard J. Linn Jr., W. H. McCoy

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983