David H. Thompson

Publication Activity (10 Years)

Years Active: 1978-1990
Publications (10 Years): 0

Publications

Charles R. Weisbin, Barry L. Burks, J. Ralph Einstein, R. R. Feezell, Wayne W. Manges, David H. Thompson
Hermies-III: A step toward autonomous mobility, manipulation and perception. Robotica 8 (1) (1990)
Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". IEEE Trans. Software Eng. 9 (1) (1983)
Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models. IEEE Trans. Software Eng. 8 (5) (1982)
Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile
An Overview of AFFIRM: A Specification and Verification System. IFIP Congress (1980)
David T. Barnard, W. David Elliott, David H. Thompson
Euclid and Modula. ACM SIGPLAN Notices 13 (3) (1978)