Richard J. Linn Jr.

13 papers A* 1A 1C 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
1994 A conf
The High Performance Computing and Communication (HPCC) Program: technologies for the National Information Infrastructure (panel).
SC
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
1992 J jnl
Guidelines for Using Estelle to Specify OSI Services and Protocols.
Comput. Networks ISDN Syst.
Rachid Sijelmassi, Richard J. Linn Jr.
1992 — ed.
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
PSTV
Richard J. Linn Jr., M. Ümit Uyar
1989 C conf
A Formal Multi-Layer Test Methodology and its Applications to OSI.
FORTE
Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale
1989 J jnl
Conformance Testing for OSI Protocols.
Comput. Networks ISDN Syst.
Richard J. Linn Jr.
1989 J jnl
Conformance evaluation methodology and protocol testing.
IEEE J. Sel. Areas Commun.
Richard J. Linn Jr.
1988 C conf
Application of Formal Description Techniques to Conformance Evaluation.
FORTE
Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette
1988 A* conf
Application of formal description techniques to the specification of distributed test systems.
INFOCOM
Richard J. Linn Jr., Jean Philippe Favreau
1986 J jnl
Testing to Assure Interworking of Implementations of ISO/OSI Protocols.
Comput. Networks
Richard J. Linn Jr.
1985 — conf
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model.
PSTV
Richard J. Linn Jr.
1984 — conf
An Evaluation of the ICST Test Architecture after Testing Class 4 Transport.
PSTV
Richard J. Linn Jr.
1983 — conf
Producing Tests for Implementations of OSI Protocols.
Protocol Specification, Testing, and Verification
Richard J. Linn Jr., W. H. McCoy
1983 — conf
Some Experience with Testing Tools for OSI Protocol Implementations.
Protocol Specification, Testing, and Verification
Richard J. Linn Jr., J. Stephen Nightingale