David E. Corman

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman
Verifying really complex systems: on earth and beyond. DAC (2008)
James L. Paunicka, Brian R. Mendel, David E. Corman
The OCP - an open middleware solution for embedded systems. ACC (2001)