Hong Peng, Ph.D.
Affiliations: | 2002 | Concordia University (Canada), Montreal, Canada |
Area:
Electronics and Electrical Engineering, Computer ScienceGoogle:
"Hong Peng"Parents
Sign in to add mentorSotiene Tahar | grad student | 2002 | Concordia | |
(Improving compositional verification through environment synthesis and syntactic model reduction.) |