1
Publications
10
Citations
1
H-Index
2015
Active since
Affiliations
Brno University of Technology(Current)
Adam Crha is an author at Brno University of Technology specializing in formal verification, computer engineering, and hardware security.
Top concepts
EngineeringCircuit DesignFormal MethodsComputer ScienceMicroelectronicsHardware SecurityCircuit ComplexityFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2015–2015
1
1
Rows per page
1–1 of 1