Edward B. Gamble Jr.

Publication Activity (10 Years)

Years Active: 1991-2011
Publications (10 Years): 0

Publications

Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. PRDC (2011)
Edward B. Gamble Jr.
Displacement errors in surface property data. ICPR (1) (1992)
Edward B. Gamble Jr.
A discontinuity detector based on the pervasive noise in surface property data. CVPR (1991)