Richard J. Linn Jr.

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

11EEDonald 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
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
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)
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)
6 Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette: Application of Formal Description Techniques to Conformance Evaluation. FORTE 1988: 295-309
5 Richard J. Linn Jr.: Testing to Assure Interworking of Implementations of ISO/OSI Protocols. Computer Networks 11: 277-286 (1986)
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
3 Richard J. Linn Jr.: An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. PSTV 1984: 611-621
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

Coauthor Index

1John S. Cavallini [11]
2George R. Cotter [11]
3Jean Philippe Favreau [6] [8]
4Philip Gaudette [6]
5Lee B. Holcomb [11]
6Donald A. B. Lindberg [11]
7W. H. McCoy [2]
8J. Stephen Nightingale [1] [8]
9Joan H. Novak [11]
10Alexis T. Poliakoff [11]
11Rachid Sijelmassi [9]
12John C. Toole [11]
13M. Ümit Uyar [10]
14Helen M. Wood [11]
15Paul R. Young [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)