Search the dblp DataBase
Richard J. Linn Jr. :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jean Philippe Favreau , Richard J. Linn Jr. , Philip Gaudette Application of Formal Description Techniques to Conformance Evaluation. [Citation Graph (0, 0)][DBLP ] FORTE, 1988, pp:295-309 [Conf ] Jean Philippe Favreau , Richard J. Linn Jr. , J. Stephen Nightingale A Formal Multi-Layer Test Methodology and its Applications to OSI. [Citation Graph (0, 0)][DBLP ] FORTE, 1989, pp:375-392 [Conf ] Richard J. Linn Jr. , W. H. McCoy Producing Tests for Implementations of OSI Protocols. [Citation Graph (0, 0)][DBLP ] Protocol Specification, Testing, and Verification, 1983, pp:505-520 [Conf ] Richard J. Linn Jr. , J. Stephen Nightingale Some Experience with Testing Tools for OSI Protocol Implementations. [Citation Graph (0, 0)][DBLP ] Protocol Specification, Testing, and Verification, 1983, pp:521-531 [Conf ] Richard J. Linn Jr. The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. [Citation Graph (0, 0)][DBLP ] PSTV, 1985, pp:271-296 [Conf ] Richard J. Linn Jr. An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. [Citation Graph (0, 0)][DBLP ] PSTV, 1984, pp:611-621 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] SC, 1994, pp:279- [Conf ] Richard J. Linn Jr. Testing to Assure Interworking of Implementations of ISO/OSI Protocols. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1986, v:11, n:, pp:277-286 [Journal ] Richard J. Linn Jr. Conformance Testing for OSI Protocols. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1989, v:18, n:3, pp:203-219 [Journal ] Rachid Sijelmassi , Richard J. Linn Jr. Guidelines for Using Estelle to Specify OSI Services and Protocols. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:23, n:5, pp:343-362 [Journal ] Search in 0.001secs, Finished in 0.002secs