Hu, Alan J.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal methods in computer-aided design = 5th international confrence [i.e. conference], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
by:
SpringerLink (Online service); Hu, Alan J.; Martin, Andrew K.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
Hu, Alan J.; Chockler, Hana.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)