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 mentor| Sotiene Tahar | grad student | 2002 | Concordia | |
| (Improving compositional verification through environment synthesis and syntactic model reduction.) | ||||