Gregory H. Chisholm

Publication Activity (10 Years)

Years Active: 1989-1999
Publications (10 Years): 0

Publications

Gregory H. Chisholm, Anthony S. Wojcik
An Application of Formal Analysis to Software in a Fault-Tolerant Environment. IEEE Trans. Computers 48 (10) (1999)
Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff
Understanding Integrated Circuits. IEEE Des. Test Comput. 16 (2) (1999)
Travis E. Doom, Jennifer L. White, Anthony S. Wojcik, Gregory H. Chisholm
Identifying High-Level Components in Combinational Circuits. Great Lakes Symposium on VLSI (1998)
Andrew C. Segal, John Quintas, Robert Kero, Richard Greene, Gregory H. Chisholm
Formal system specification and testing of image processing/computer vision algorithms. Device-Independent Color Imaging and Imaging Systems Integration (1993)
Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik
An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods. J. Autom. Reason. 5 (4) (1989)