Concepedia

Mike Kearney

MK

Statistics

Publications

1

Citations

11

H-Index

1

Active since

1983

Mike Kearney is an author specializing in formal verification, network analysis, and hardware security.

Top concepts

Publications per year

1983–1983

1

Publications

1

Design verification for very large digital networks based on concurrent simulation and clock suppression

E. Ulrich, Mike Kearney, J. Tellier et al. · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1983 · 11 citations

, , +22

Rows per page

1–1 of 1