2
Publications
60
Citations
2
H-Index
1978
Active since
Affiliations
Parhami is an author at University of California, Los Angeles specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceComplexityVerificationFormal MethodsProgram AnalysisSoftware TestingHardware SecurityFormal VerificationTheory Of Computing
Publications per year
1978–1987
2
2
Rows per page
1–2 of 2