Alan J. Hu

Alan J. Hu

1 ספרים במאגר

ספרים

Formal Methods in Computer-Aided DesignAlan J. Hu

Formal Methods in Computer-Aided Design

Alan J. Hu · 2005

ספרים משותפים ואוספים

ספרים שבהם Alan J. Hu מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

2012 IEEE ACM International Conference on Computer Aided Design (ICCAD)IEEE Staff

2012 IEEE ACM International Conference on Computer Aided Design (ICCAD)

IEEE Staff · 2012

Hardware and Software : Verification and TestingHana Chockler

Hardware and Software : Verification and Testing

Hana Chockler · 2009