Daniel E. Holcomb, Ph.D. - Related publications

Affiliations:

2013

Electrical Engineering and Computer Sciences

University of California, Berkeley, Berkeley, CA, United States

Area:

Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)