Harry Chia-Chang Hsieh
Ph.D. University of California, Berkeley 2000
Dissertation:
Formal Methods for Embedded System Design
Advisor: Alberto Luigi Sangiovanni-Vincentelli
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 70428 for the advisor ID.