2
Publications
73
Citations
2
H-Index
2019
Active since
Affiliations
University of California, Riverside(Current)
Farzin Houshmand is an author at University of California, Riverside specializing in engineering, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationBlockchainAvailabilityCryptographyVerificationData SecurityFault Tolerance
Publications per year
2019–2020
2
2
Narges Shadab, Farzin Houshmand, Mohsen Lesani · 2020 · 34 citations
Rows per page
1–2 of 2