1
Publications
46
Citations
1
H-Index
1996
Active since
David Holloway is an author specializing in design for testing, formal verification, and hardware security.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceSoftware TestingHardware SecurityDesign For TestingFormal VerificationComputer Engineering
Publications per year
1996–1996
1
1
Rows per page
1–1 of 1