Concepedia

Author

Mike Strizich

Battelle

Also Known As

Mike Strizich

1

Publications

49

Citations

1

H-Index

7

Concepts

All Affiliations

Battelle
MS

About

Mike Strizich is an author at Battelle specializing in hardware security, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

49

2

Computer Engineering

1

1

49

3

Computer Architecture

1

1

49

4

Formal Methods

1

1

49

5

Formal Verification

1

1

49

Mike Strizich

×

1

Publications

49

Citations

1

H-Index

YearCitations

Page 1